Found 72 Documents (Results 1–72)
Menas’s conjecture revisited. (English) Zbl 07749830
Order types of models of fragments of Peano arithmetic. (English) Zbl 1504.03019
Reviewer: Roman Kossak (New York)
Degrees of randomized computability. (English) Zbl 1497.03056
Reviewer: Leon Harkleroad (Bowdoinham)
In memoriam: J. Michael Dunn, 1941–2021. (English) Zbl 1480.01027
MSC:
01A70
The McKinsey-Tarski theorem for locally compact ordered spaces. (English) Zbl 1483.54016
Reviewer: Giacomo Lenzi (Fisciano)
Current research on Gödel’s incompleteness theorems. (English) Zbl 1497.03067
Reviewer: Saeed Salehi (Tabriz)
Strong colorings over partitions. (English) Zbl 1496.03179
Reviewer: Yair Hayut (Jerusalem)
Reduction techniques for proving decidability in logics and their meet-combination. (English) Zbl 1535.03057
Decidability of admissibility: on a problem by Friedman and its solution by Rybakov. (English) Zbl 1535.03048
Gödel’s second incompleteness theorem: how it is derived and what it delivers. (English) Zbl 1462.03026
Reviewer: Roman Murawski (Poznań)
Domination and regularity. (English) Zbl 07330990
Weyl reexamined: “Das Kontinuum” 100 years later. (English) Zbl 1458.03006
Reviewer: Jens Lemanski (Hagen)
Strong jump-traceability. (English) Zbl 1522.03157
Intuitionistic analysis at the end of time. (English) Zbl 1436.03312
Reviewer: Danko Ilik (Paris)
Isomorphism invariance and overgeneration. (English) Zbl 1384.03032
Bull. Symb. Log. 22, No. 4, 482-503 (2016); corrigendum ibid. 23, No. 4, 546 (2017).
Deep \(\Pi_1^0\) classes. (English) Zbl 1401.03077
Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective. (English) Zbl 1390.06012
Demuth’s path to randomness. (English) Zbl 1348.03002
Reviewer: Leon Harkleroad (Bowdoinham)
Completeness and categoricity (in power): formalization without foundationalism. (English) Zbl 1341.03043
Shift-complex sequences. (English) Zbl 1285.03057
The foundational problem of logic. (English) Zbl 1405.03016
MSC:
03A05
Vaught’s theorem on axiomatizability by a scheme. (English) Zbl 1272.03063
Reviewer: Jaime Gaspar (Lisboa)
2011 North American Annual Meeting of the Association for Symbolic Logic, University of California at Berkeley, Berkeley, CA, USA, March 24–27, 2011. (English) Zbl 1241.03002
A survey of Mučnik and Medvedev degrees. (English) Zbl 1248.03063
Reviewer: Roland Sh. Omanadze (Tbilisi)
MSC:
03D25
On arbitrary sets and ZFC. (English) Zbl 1270.03088
Von Neumann, Gödel and complexity theory. (English) Zbl 1226.03004
Reviewer: Mihai Prunescu (Freiburg i. Br.)
The complexity of classification problems for models of arithmetic. (English) Zbl 1205.03052
Reviewer: Roman Murawski (Poznań)
MSC:
03C62
Relative truth definability of axiomatic truth theories. (English) Zbl 1209.03002
Reviewer: Andrea Cantini (Firenze)
2009 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium ’09, Sofia, Bulgaria, July 31–August 5, 2009. (English) Zbl 1182.03004
2009 North American annual meeting of the Association for Symbolic Logic. University of Notre Dame, Notre Dame, Indiana, May 20–May 23, 2009. (English) Zbl 1177.03012
Mass problems and measure-theoretic regularity. (English) Zbl 1191.03007
Reviewer: Jeffry L. Hirst (Boone)
2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium ’08. Bern, Switzerland, July 3–July 8, 2008. (English) Zbl 1156.03306
Actions of groups of finite Morley rank on small abelian groups. (English) Zbl 1172.03022
Reviewer: Eric Jaligot (Lyon)
Reconsidering ordered pairs. (English) Zbl 1171.03028
Reviewer: Egbert Harzheim (Köln)
Cohen and set theory. (English) Zbl 1174.03001
Reviewer: T. Thrivikraman (Nileshwar)
Forcing axioms, supercompact cardinals, singular cardinal combinatorics. (English) Zbl 1150.03015
Reviewer: J. M. Plotkin (East Lansing)
Describing groups. (English) Zbl 1167.20017
Reviewer: Marat M. Arslanov (Kazan)
Incompleteness in a general setting. (English) Zbl 1131.03031
Bull. Symb. Log. 13, No. 1, 21-30 (2007); corrigendum ibid. 14, No. 1, 122 (2008).
Reviewer: Albert A. Mullin (Madison)
What is neologicism? (English) Zbl 1105.03008
Reviewer: Øystein Linnebo (Bristol)
Undecidability of first-order intuitionistic and modal logics with two variables. (English) Zbl 1096.03008
2003–04 Winter Meeting of the Association for Symbolic Logic, Phoenix Civic Plaza, Phoenix, Arizona, January 9–10, 2004. (English) Zbl 1059.03508
2003 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium ’03, Helsinki, Finland, August 14–20, 2003. (English) Zbl 1059.03507
2002 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium ’02, Münster, Germany, August 3-9, 2002. (English) Zbl 1024.03502
Explicit provability and constructive semantics. (English) Zbl 0980.03059
Reviewer: Osamu Sonobe (Follonica)
1998 European summer meeting of the Association for Symbolic Logic. Logic colloquium ’98, Prague, Czech Republic, August 9-15, 1998. (English) Zbl 0925.03009
Truth definitions, Skolem functions and axiomatic set theory. (English) Zbl 0918.03005
Reviewer: G.Mints (Stanford)
A model-theoretic approach to ordinal analysis. (English) Zbl 0874.03068
Reviewer: M.Yasuhara (Princeton)
From “metabelian \(\mathbb{Q}\)-vector spaces” to new \(\omega\)-stable groups. (English) Zbl 0856.03030
Reviewer: A.Pillay (Notre Dame)
Singular cardinals and the pcf theory. (English) Zbl 0849.03040
Reviewer: J.Takahashi (Kobe)
Filter Results by …
all
top 5
Author
- Nies, André Otfrid (3)
- Porter, Christopher P. (3)
- Avron, Arnon (2)
- Greenberg, Noam (2)
- Kossak, Roman (2)
- Pillay, Anand (2)
- Urquhart, Alasdair (2)
- Arrigoni, Tatiana (1)
- Artemov, Sergei (1)
- Avigad, Jeremy (1)
- Awodey, Steve (1)
- Bagaria, Joan (1)
- Baldwin, John T. (1)
- Bell, John Lane (1)
- Bezhanishvili, Guram (1)
- Bezhanishvili, Nick (1)
- Bienvenu, Laurent (1)
- Bimbó, Katalin (1)
- Brauer, Ethan (1)
- Butz, Carsten (1)
- Caramello, Olivia (1)
- Carnielli, Walter Alexandre (1)
- Chapuis, Olivier (1)
- Chen-Mertens, William (1)
- Cheng, Yong (1)
- Coskey, Samuel (1)
- Deloro, Adrien (1)
- Downey, Rodney Graham (1)
- Durand, Arnaud (1)
- Dyckhoff, Roy (1)
- Ferreirós, José (1)
- Fujimoto, Kentaro (1)
- Fujiwara, Makoto (1)
- Galeotti, Lorenzo (1)
- Goldblatt, Robert Ian (1)
- Goudsmit, Jeroen P. (1)
- Gratzer, Daniel (1)
- Griffiths, Owen (1)
- Hinman, Peter G. (1)
- Hintikka, Jaakko (1)
- Hodkinson, Ian Martin (1)
- Hölzl, Rupert (1)
- Ishihara, Hajime (1)
- Jaligot, Eric (1)
- Jech, Thomas J. (1)
- Jones, Neil D. (1)
- Kahle, Reinhard (1)
- Kanamori, Akihiro (1)
- Kavvos, G. A. (1)
- Kechris, Alexander S. (1)
- Khan, Mushfeq (1)
- Klev, Ansten Mørch (1)
- Kojman, Menachem (1)
- Kontchakov, Roman (1)
- Kučera, Antonín (1)
- Kurucz, Agi (1)
- León Sánchez, Omar (1)
- Linsky, Bernard (1)
- Löwe, Benedikt (1)
- Lucero-Bryan, Joel Gregory (1)
- Makowsky, Johann-Andreas (1)
- Matet, Pierre (1)
- McCarty, Charles (1)
- McCarty, Dominic (1)
- Miyabe, Kenshi (1)
- More, Malika (1)
- Moschovakis, Joan Rand (1)
- Neeman, Itay (1)
- Negri, Sara (1)
- Nemoto, Takako (1)
- Palmgren, Erik (1)
- Paseau, Alexander Christopher (1)
- Rasga, João (1)
- Rinaldi, Davide (1)
- Rinot, Assaf (1)
- Russo, Anna Carla (1)
- Salehi, Saeed (1)
- Santos, Paulo Guilherme (1)
- Schuster, Peter Michael (1)
- Scott, Dana Stewart (1)
- Sernadas, Cristina S. (1)
- Shapiro, Stewart (1)
- Sher, Gila (1)
- Simpson, Alex K. (1)
- Simpson, Stephen G. (1)
- Sommer, Richard (1)
- Steprāns, Juris (1)
- Stoltenberg-Hansen, Viggo (1)
- Streicher, Thomas (1)
- Suzuki, Nobu-Yuki (1)
- Turetsky, Dan (1)
- Väänänen, Jouko Antero (1)
- van Mill, Jan (1)
- Venema, Yde (1)
- Viale, Matteo (1)
- Visser, Albert (1)
- Wcisło, Bartosz (1)
- Weiermann, Andreas (1)
- Wessel, Daniel (1)
- Wilkie, Alex James (1)
- and 6 more Authors
all
top 5
Volume
- 30, No. 1 (2024) (1)
- 29, No. 3 (2023) (3)
- 29, No. 2 (2023) (1)
- 29, No. 1 (2023) (1)
- 28, No. 3 (2022) (1)
- 28, No. 2 (2022) (1)
- 28, No. 1 (2022) (1)
- 27, No. 4 (2021) (2)
- 27, No. 3 (2021) (1)
- 27, No. 2 (2021) (2)
- 27, No. 1 (2021) (3)
- 26, No. 3-4 (2020) (1)
- 26, No. 2 (2020) (1)
- 26, No. 1 (2020) (2)
- 24, No. 2 (2018) (1)
- 24, No. 1 (2018) (2)
- 23, No. 3 (2017) (1)
- 23, No. 2 (2017) (2)
- 22, No. 4 (2016) (1)
- 22, No. 3 (2016) (1)
- 22, No. 2 (2016) (2)
- 21, No. 3 (2015) (1)
- 21, No. 2 (2015) (1)
- 20, No. 3 (2014) (1)
- 20, No. 1 (2014) (1)
- 19, No. 2 (2013) (2)
- 18, No. 4 (2012) (1)
- 18, No. 3 (2012) (1)
- 18, No. 2 (2012) (2)
- 17, No. 3 (2011) (2)
- 16, No. 4 (2010) (1)
- 16, No. 3 (2010) (2)
- 16, No. 1 (2010) (1)
- 15, No. 4 (2009) (2)
- 15, No. 1 (2009) (2)
- 14, No. 3 (2008) (2)
- 14, No. 1 (2008) (1)
- 13, No. 3 (2007) (2)
- 13, No. 1 (2007) (1)
- 12, No. 2 (2006) (1)
- 12, No. 1 (2006) (1)
- 11, No. 3 (2005) (1)
- 10, No. 2 (2004) (3)
- 9, No. 1 (2003) (1)
- 7, No. 4 (2001) (1)
- 7, No. 3 (2001) (1)
- 7, No. 1 (2001) (1)
- 5, No. 1 (1999) (1)
- 4, No. 3 (1998) (1)
- 3, No. 1 (1997) (1)
- 2, No. 1 (1996) (1)
- 1, No. 4 (1995) (1)