Bimbó, Katalin In memoriam: J. Michael Dunn, 1941–2021. (English) Zbl 1480.01027 Bull. Symb. Log. 27, No. 4, 519-525 (2021). MSC: 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
Baldwin, John; Marker, David In memoriam: Michael Morley, 1930–2020. (English) Zbl 1480.01026 Bull. Symb. Log. 27, No. 4, 514-518 (2021). MSC: 01A70 × Cite Format Result Cite Review PDF Full Text: DOI
Martin-Löf, Per The sense/reference distinction in constructive semantics. (English) Zbl 1529.03066 Bull. Symb. Log. 27, No. 4, 501-513 (2021). MSC: 03A05 03F50 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Dummett, Michael Sense and reference from a constructivist standpoint. (English) Zbl 1529.03031 Bull. Symb. Log. 27, No. 4, 485-500 (2021). MSC: 03A05 03F50 × Cite Format Result Cite Review PDF Full Text: DOI
Button, Tim Level theory. II: Axiomatizing the bare idea of a potential hierarchy. (English) Zbl 1529.03245 Bull. Symb. Log. 27, No. 4, 461-484 (2021). MSC: 03E30 03E70 × Cite Format Result Cite Review PDF Full Text: DOI
Button, Tim Level theory. I: Axiomatizing the bare idea of a cumulative hierarchy of sets. (English) Zbl 1529.03244 Bull. Symb. Log. 27, No. 4, 436-460 (2021). MSC: 03E30 03E70 × Cite Format Result Cite Review PDF Full Text: DOI
Paulson, Lawrence C. Ackermann’s function in iterative form: a proof assistant experiment. (English) Zbl 1529.03122 Bull. Symb. Log. 27, No. 4, 426-435 (2021). MSC: 03B35 03D20 68V20 × Cite Format Result Cite Review PDF Full Text: DOI arXiv OA License
Malliaris, M.; Shelah, S. Notes on the stable regularity lemma. (English) Zbl 1529.03202 Bull. Symb. Log. 27, No. 4, 415-425 (2021). MSC: 03C45 03C65 05C35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kennedy, Juliette; Väänänen, Jouko Logicality and model classes. (English) Zbl 1529.03193 Bull. Symb. Log. 27, No. 4, 385-414 (2021). MSC: 03C07 03A05 03C75 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Eder, Günther Projective duality and the rise of modern logic. (English) Zbl 1500.03001 Bull. Symb. Log. 27, No. 4, 351-384 (2021). Reviewer: Jim Mackenzie (Sydney) MSC: 03-03 03A05 01A55 01A60 51-03 × Cite Format Result Cite Review PDF Full Text: DOI
Santos, Paulo Guilherme; Kahle, Reinhard Variants of Kreisel’s conjecture on a new notion of provability. (English) Zbl 1529.03274 Bull. Symb. Log. 27, No. 4, 337-350 (2021). MSC: 03F30 03F03 × Cite Format Result Cite Review PDF Full Text: DOI OA License