Explicit provability and constructive semantics. Zbl 0980.03059
Artemov, Sergei N. |
|
2001
|
The logic of bunched implications. Zbl 0930.03095
O’Hearn, Peter W.; Pym, David J. |
|
1999
|
Hyperlinear and sofic groups: a brief guide. Zbl 1206.20048
Pestov, Vladimir G. |
|
2008
|
On the decision problem for two-variable first-order logic. Zbl 0873.03009
Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y. |
|
1997
|
Cut elimination in the presence of axioms. Zbl 0934.03072
Negri, Sara; von Plato, Jan |
|
1998
|
Effective choice and boundedness principles in computable analysis. Zbl 1226.03062
Brattka, Vasco; Gherardi, Guido |
|
2011
|
The complexity of propositional proofs. Zbl 0845.03025
Urquhart, Alasdair |
|
1995
|
The complexity of propositional proofs. Zbl 1133.03037
Segerlind, Nathan |
|
2007
|
Open questions in reverse mathematics. Zbl 1233.03023
Montalbán, Antonio |
|
2011
|
Calibrating randomness. Zbl 1113.03037
Downey, Rod; Hirschfeldt, Dennis R.; Nies, André; Terwijn, Sebastiaan A. |
|
2006
|
Automatic continuity of group homomorphisms. Zbl 1173.03037
Rosendal, Christian |
|
2009
|
Tarski’s system of geometry. Zbl 0932.01031
Tarski, Alfred; Givant, Steven |
|
1999
|
Randomness and computability: open questions. Zbl 1169.03033
Miller, Joseph S.; Nies, André |
|
2006
|
Describing groups. Zbl 1167.20017
Nies, André |
|
2007
|
Domains for computation in mathematics, physics and exact real arithmetic. Zbl 0946.03055
Edalat, Abbas |
|
1997
|
Automata presenting structures: A survey of the finite string case. Zbl 1146.03028
Rubin, Sasha |
|
2008
|
Mass problems and randomness. Zbl 1090.03015
Simpson, Stephen G. |
|
2005
|
Gap forcing: Generalizing the Lévy-Solovay theorem. Zbl 0933.03067
Hamkins, Joel David |
|
1999
|
Foundations of online structure theory. Zbl 1477.03167
Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander |
|
2019
|
Computability and recursion. Zbl 0861.03031
Soare, Robert I. |
|
1996
|
Analytic ideals. Zbl 0862.04002
Solecki, Sławomir |
|
1996
|
Chain conditions of products, and weakly compact cardinals. Zbl 1345.03092
Rinot, Assaf |
|
2014
|
Square in core models. Zbl 0992.03062
Schimmerling, Ernest; Zeman, Martin |
|
2001
|
Turing computations on ordinals. Zbl 1096.03053
Koepke, Peter |
|
2005
|
Second-order logic and foundations of mathematics. Zbl 1002.03013
Väänänen, Jouko |
|
2001
|
In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures. Zbl 1420.03134
Woodin, W. Hugh |
|
2017
|
Does mathematics need new axioms? Zbl 0977.03002
Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R. |
|
2000
|
Gentzen’s proof of normalization for natural deduction. Zbl 1145.03003
von Plato, Jan |
|
2008
|
Computability theory and differential geometry. Zbl 1085.03033
Soare, Robert I. |
|
2004
|
A natural axiomatization of computability and proof of Church’s thesis. Zbl 1167.03027
Dershowitz, Nachum; Gurevich, Yuri |
|
2008
|
The hyperuniverse program. Zbl 1307.03003
Arrigoni, Tatiana; Friedman, Sy-David |
|
2013
|
Relative truth definability of axiomatic truth theories. Zbl 1209.03002
Fujimoto, Kentaro |
|
2010
|
The absolute arithmetic continuum and the unification of all numbers great and small. Zbl 1242.03065
Ehrlich, Philip |
|
2012
|
Algebraic logic, where does it stand today? Zbl 1111.03053
Sayed Ahmed, Tarek |
|
2005
|
Optimal proofs of determinacy. Zbl 0835.03017
Neeman, Itay |
|
1995
|
The discovery of my completeness proofs. Zbl 0882.03001
Henkin, Leon |
|
1996
|
The constraint satisfaction problem and universal algebra. Zbl 1336.68113
Barto, Libor |
|
2015
|
Logicality and invariance. Zbl 1146.03002
Bonnay, Denis |
|
2008
|
Mathematical fuzzy logics. Zbl 1144.03023
Gottwald, Siegfried |
|
2008
|
Hilbert’s programs: 1917-1922. Zbl 0924.03002
Sieg, Wilfried |
|
1999
|
Combinatorics with definable sets: Euler characteristics and Grothendieck rings. Zbl 0968.03036
Krajíček, Jan; Scanlon, Thomas |
|
2000
|
New directions in descriptive set theory. Zbl 0933.03057
Kechris, Alexander S. |
|
1999
|
Church’s problem revisited. Zbl 0932.03029
Kupferman, Orna; Vardi, Moshe Y. |
|
1999
|
Identity of proofs based on normalization and generality. Zbl 1058.03061
Došen, Kosta |
|
2003
|
Machines, logic and quantum physics. Zbl 0998.68059
Deutsch, David; Ekert, Artur; Lupacchini, Rossella |
|
2000
|
New dichotomies for Borel equivalence relations. Zbl 0889.03038
Hjorth, Greg; Kechris, Alexander S. |
|
1997
|
Geometrisation of first-order logic. Zbl 1368.03013
Dyckhoff, Roy; Negri, Sara |
|
2015
|
Eliminating disjunctions by disjunction elimination. Zbl 1455.03074
Rinaldi, Davide; Schuster, Peter; Wessel, Daniel |
|
2017
|
Internal consistency and the inner model hypothesis. Zbl 1134.03029
Friedman, Sy-David |
|
2006
|
\(\text{HOD}^{L(\mathbb{R})}\) is a core model below \(\Theta\). Zbl 0826.03022
Steel, John R. |
|
1995
|
Developments in constructive nonstandard analysis. Zbl 0920.03063
Palmgren, Erik |
|
1998
|
Computable abelian groups. Zbl 1345.03065
Melnikov, Alexander G. |
|
2014
|
Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen. Zbl 1005.03004
Schroeder-Heister, Peter |
|
2002
|
Proper forcing and remarkable cardinals. Zbl 0960.03044
Schindler, Ralf-Dieter |
|
2000
|
Finite conformal hypergraph covers and Gaifman cliques in finite structures. Zbl 1058.03031
Hodkinson, Ian; Otto, Martin |
|
2003
|
Kleene’s amazing second recursion theorem. Zbl 1211.03061
Moschovakis, Yiannis N. |
|
2010
|
Foundations of nominal techniques: logic and semantics of variables in abstract syntax. Zbl 1253.03059
Gabbay, Murdoch J. |
|
2011
|
Gentzen’s proof systems: byproducts in a work of genius. Zbl 1258.03002
von Plato, Jan |
|
2012
|
Reverse mathematics and \(\Pi_2^1\) comprehension. Zbl 1106.03050
Mummert, Carl; Simpson, Stephen G. |
|
2005
|
Recent advances in ordinal analysis: \(\Pi_ 2^ 1 - \mathbf C\mathbf A\) and related systems. Zbl 0855.03035
Rathjen, Michael |
|
1995
|
Classification from a computable viewpoint. Zbl 1123.03024
Calvert, Wesley; Knight, Julia F. |
|
2006
|
On the equimorphism types of linear orderings. Zbl 1129.03024
Montalbán, Antonio |
|
2007
|
Almost everywhere equivalence of logics in finite model theory. Zbl 0869.03019
Hella, Lauri; Kolaitis, Phokion G.; Luosto, Kerkko |
|
1996
|
Predicative fragments of Frege arithmetic. Zbl 1068.03051
Linnebo, Øystein |
|
2004
|
Completeness before Post: Bernays, Hilbert, and the development of propositional logic. Zbl 0942.03003
Zach, Richard |
|
1999
|
Combinatorial dichotomies in set theory. Zbl 1230.03075
Todorcevic, Stevo |
|
2011
|
The graph-theoretic approach to descriptive set theory. Zbl 1361.03047
Miller, Benjamin D. |
|
2012
|
Descriptive inner model theory. Zbl 1307.03030
Sargsyan, Grigor |
|
2013
|
Nonstandard arithmetic and reverse mathematics. Zbl 1101.03040
Keisler, H. Jerome |
|
2006
|
Partition theorems and computability theory. Zbl 1097.03037
Mileti, Joseph R. |
|
2005
|
The impact of the lambda calculus in logic and computer science. Zbl 0887.03008
Barendregt, Henk |
|
1997
|
The mathematical import of Zermelo’s well-ordering theorem. Zbl 0903.03030
Kanamori, Akihiro |
|
1997
|
Weak distributivity, a problem of von Neumann and the mystery of measurability. Zbl 1120.03028
Balcar, Bohuslav; Jech, Thomas |
|
2006
|
Forcing in proof theory. Zbl 1064.03034
Avigad, Jeremy |
|
2004
|
A survey of Mučnik and Medvedev degrees. Zbl 1248.03063
Hinman, Peter G. |
|
2012
|
A universal approach to self-referential paradoxes, incompleteness and fixed points. Zbl 1067.03012
Yanofsky, Noson S. |
|
2003
|
Model theoretic stability and definability of types, after A. Grothendieck. Zbl 1345.03058
Ben Yaacov, Itaï |
|
2014
|
Computuing \(K\)-trivial sets by incomplete random sets. Zbl 1320.03074
Bienvenu, Laurent; Day, Adam R.; Greenberg, Noam; Kučera, Antonín; Miller, Joseph S.; Nies, André; Turetsky, Dan |
|
2014
|
Fifty years of the spectrum problem: survey and new results. Zbl 1309.03014
Durand, Arnaud; Jones, Neil D.; Makowsky, Johann A.; More, Malika |
|
2012
|
What does it take to prove Fermat’s last theorem? Grothendieck and the logic of number theory. Zbl 1210.03029
McLarty, Colin |
|
2010
|
Step by recursive step: Church’s analysis of effective calculability. Zbl 0884.03001
Sieg, Wilfried |
|
1997
|
The road to modern logic – an interpretation. Zbl 1005.03003
Ferreirós, José |
|
2001
|
Polish metric spaces: Their classification and isometry groups. Zbl 0994.54037
Clemens, John D.; Gao, Su; Kechris, Alexander S. |
|
2001
|
Some aspects of model theory and finite structures. Zbl 1017.03015
Rosen, Eric |
|
2002
|
Schemata: the concept of schema in the history of logic. Zbl 1123.03001
Corcoran, John |
|
2006
|
Games for truth. Zbl 1193.03011
Welch, P. D. |
|
2009
|
Second order logic or set theory? Zbl 1252.03024
Väänänen, Jouko |
|
2012
|
Undecidability of first-order intuitionistic and modal logics with two variables. Zbl 1096.03008
Kontchakov, Roman; Kurucz, Agi; Zakharyaschev, Michael |
|
2005
|
A graph-theoretic analysis of the semantic paradoxes. Zbl 1437.03017
Beringer, Timo; Schindler, Thomas |
|
2017
|
Tautologies from pseudo-random generators. Zbl 0983.03046
Krajíček, Jan |
|
2001
|
Full Frobenius groups of finite Morley rank and the Feit-Thompson theorem. Zbl 1002.03024
Jaligot, Eric |
|
2001
|
On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set. Zbl 1009.03006
Welch, P. D. |
|
2001
|
Arguments for the continuity principle. Zbl 1036.03047
van Atten, Mark; van Dalen, Dirk |
|
2002
|
Forcing with bushy trees. Zbl 1421.03021
Khan, Mushfeq; Miller, Joseph S. |
|
2017
|
Full development of Tarski’s geometry of solids. Zbl 1156.03011
Gruszczyński, Rafał; Pietruszczak, Andrzej |
|
2008
|
Well (and better) quasi-ordered transition systems. Zbl 1207.68219
Abdulla, Parosh Aziz |
|
2010
|
Set theory and \(C^*\)-algebras. Zbl 1127.46043
Weaver, Nik |
|
2007
|
Hyperfinite law of large numbers. Zbl 0861.03051
Sun, Yeneng |
|
1996
|
Inner models and large cardinals. Zbl 0843.03029
Jensen, Ronald |
|
1995
|
Fixed point logics. Zbl 1002.03030
Dawar, Anuj; Gurevich, Yuri |
|
2002
|
A walk with Goodstein. Zbl 07828956
Fernández-Duque, David; Weiermann, Andreas |
|
2024
|
Computably compact metric spaces. Zbl 07725101
Downey, Rodney G.; Melnikov, Alexander G. |
|
2023
|
Large cardinals as principles of structural reflection. Zbl 07665537
Bagaria, Joan |
|
2023
|
Constructing nonstandard hulls and Loeb measures in internal set theories. Zbl 1512.03077
Hrbacek, Karel; Katz, Mikhail G. |
|
2023
|
Saturated models for the working model theorist. Zbl 07725100
Halevi, Yatir; Kaplan, Itay |
|
2023
|
Extended frames and separations of logical principles. Zbl 07749829
Fujiwara, Makoto; Ishihara, Hajime; Nemoto, Takako; Suzuki, Nobu-Yuki; Yokoyama, Keita |
|
2023
|
Tree theory: interpretability between weak first-order theories of trees. Zbl 07808883
Damnjanovic, Zlatan |
|
2023
|
Menas’s conjecture revisited. Zbl 07749830
Matet, Pierre |
|
2023
|
The Jacobson radical of a propositional theory. Zbl 07550752
Fellin, Giulio; Schuster, Peter; Wessel, Daniel |
|
2022
|
Constructing Wadge classes. Zbl 1504.03026
Carroy, Raphaël; Medini, Andrea; Müller, Sandra |
|
2022
|
Affine logic for constructive mathematics. Zbl 07606771
Shulman, Michael |
|
2022
|
An introduction to the Scott complexity of countable structures and a survey of recent results. Zbl 1501.03002
Harrison-Trainor, Matthew |
|
2022
|
Sealing of the universally Baire sets. Zbl 1539.03162
Sargsyan, Grigor; Trang, Nam |
|
2021
|
Strong colorings over partitions. Zbl 1496.03179
Chen-Mertens, William; Kojman, Menachem; Steprāns, Juris |
|
2021
|
Disjunctions with stopping conditions. Zbl 1539.03204
Kossak, Roman; Wcisło, Bartosz |
|
2021
|
Logicality and model classes. Zbl 1529.03193
Kennedy, Juliette; Väänänen, Jouko |
|
2021
|
Sense and reference from a constructivist standpoint. Zbl 1529.03031
Dummett, Michael |
|
2021
|
The sense/reference distinction in constructive semantics. Zbl 1529.03066
Martin-Löf, Per |
|
2021
|
Kurt Gödel on logical, theological, and physical antinomies. Zbl 1482.03001
Lethen, Tim |
|
2021
|
Reduction techniques for proving decidability in logics and their meet-combination. Zbl 1535.03057
Rasga, João; Sernadas, Cristina; Carnielli, Walter |
|
2021
|
Current research on Gödel’s incompleteness theorems. Zbl 1497.03067
Cheng, Yong |
|
2021
|
Goodstein sequences based on a parametrized Ackermann-Péter function. Zbl 1537.03085
Arai, Toshiyasu; Wainer, Stanley S.; Weiermann, Andreas |
|
2021
|
Domination and regularity. Zbl 07330990
Pillay, Anand |
|
2020
|
Finding the limit of incompleteness. I. Zbl 1464.03089
Cheng, Yong |
|
2020
|
Gödel diffeomorphisms. Zbl 1486.03075
Foreman, Matthew |
|
2020
|
A reconstruction of Steel’s multiverse project. Zbl 1477.03012
Maddy, Penelope; Meadows, Toby |
|
2020
|
An exposition of the compactness of \(L(Q^{\text{cf}})\). Zbl 1477.03156
Casanovas, Enrique; Ziegler, Martin |
|
2020
|
Bounds for indexes of nilpotency in commutative ring theory: a proof mining approach. Zbl 1462.03025
Ferreira, Fernando |
|
2020
|
Weyl reexamined: “Das Kontinuum” 100 years later. Zbl 1458.03006
Avron, Arnon |
|
2020
|
On the diagonal lemma of Gödel and Carnap. Zbl 1459.03089
Salehi, Saeed |
|
2020
|
Foundations of online structure theory. Zbl 1477.03167
Bazhenov, Nikolay; Downey, Rod; Kalimullin, Iskander; Melnikov, Alexander |
|
2019
|
A conjectural classification of strongly dependent fields. Zbl 1477.03134
Halevi, Yatir; Hasson, Assaf; Jahnke, Franziska |
|
2019
|
Large cardinals beyond choice. Zbl 1475.03098
Bagaria, Joan; Koellner, Peter; Woodin, W. Hugh |
|
2019
|
Model theory and machine learning. Zbl 1506.03095
Chase, Hunter; Freitag, James |
|
2019
|
Realizing realizability results with classical constructions. Zbl 1539.03165
Karagila, Asaf |
|
2019
|
Henkin constructions of models with size continuum. Zbl 1539.03120
Baldwin, John T.; Laskowski, Michael C. |
|
2019
|
An invitation to model theory and \(\mathrm{C}^\ast\)-algebras. Zbl 1446.03067
Lupini, Martino |
|
2019
|
Indirect proof and inversions of syllogisms. Zbl 1477.03006
Dyckhoff, Roy |
|
2019
|
An extension of a theorem of Zermelo. Zbl 1477.03226
Väänänen, Jouko |
|
2019
|
Eta-rules in Martin-Löf type theory. Zbl 1486.03028
Klev, Ansten |
|
2019
|
A hierarchy of computably enumerable degrees. Zbl 1522.03155
Downey, Rod; Greenberg, Noam |
|
2018
|
Polymorphism and the obstinate circularity of second order logic: a victims’ tale. Zbl 1496.03023
Pistone, Paolo |
|
2018
|
Strong jump-traceability. Zbl 1522.03157
Greenberg, Noam; Turetsky, Dan |
|
2018
|
Preservation of structural properties in intuitionistic extensions of an inference relation. Zbl 1522.03317
Sandqvist, Tor |
|
2018
|
A constructive examination of a Russell-style ramified type theory. Zbl 1522.03040
Palmgren, Erik |
|
2018
|
Kurt Gödel’s first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction. Zbl 1403.03006
von Plato, Jan |
|
2018
|
Book review of: Ø. Linnebo, Philosophy of mathematics. Zbl 1393.00024
Rizza, Davide |
|
2018
|
2017 European summer meeting of the Association for Symbolic Logic, Logic Colloquium ’17. Stockholm, Sweden, August 14–20, 2017. Zbl 1392.03005
|
|
2018
|
In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures. Zbl 1420.03134
Woodin, W. Hugh |
|
2017
|
Eliminating disjunctions by disjunction elimination. Zbl 1455.03074
Rinaldi, Davide; Schuster, Peter; Wessel, Daniel |
|
2017
|
A graph-theoretic analysis of the semantic paradoxes. Zbl 1437.03017
Beringer, Timo; Schindler, Thomas |
|
2017
|
Forcing with bushy trees. Zbl 1421.03021
Khan, Mushfeq; Miller, Joseph S. |
|
2017
|
Incompleteness in the finite domain. Zbl 1423.03245
Pudlák, Pavel |
|
2017
|
Some definable Galois theory and examples. Zbl 1419.03032
León Sánchez, Omar; Pillay, Anand |
|
2017
|
Products of Hurewicz spaces in the Laver model. Zbl 1421.03024
Repovš, Dušan; Zdomskyy, Lyubomyr |
|
2017
|
Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality. Zbl 1421.03027
Damnjanovic, Zlatan |
|
2017
|
Metavaluations. Zbl 1421.03011
Brady, Ross T. |
|
2017
|
Intuitionistic analysis at the end of time. Zbl 1436.03312
Moschovakis, Joan Rand |
|
2017
|
Open questions about Ramsey-type statements in reverse mathematics. Zbl 1396.03012
Patey, Ludovic |
|
2016
|
Constructive geometry and the parallel postulate. Zbl 1403.03130
Beeson, Michael |
|
2016
|
Linear time in hypersequent framework. Zbl 1403.03114
Indrzejczak, Andrzej |
|
2016
|
Deep \(\Pi_1^0\) classes. Zbl 1401.03077
Bienvenu, Laurent; Porter, Christopher P. |
|
2016
|
Using almost-everywhere theorems from analysis to study randomness. Zbl 1401.03079
Miyabe, Kenshi; Nies, André; Zhang, Jing |
|
2016
|
Maximal computability structures. Zbl 1403.03072
Iljazović, Zvonko; Validžić, Lucija |
|
2016
|
Computability and the Connes embedding problem. Zbl 1404.03037
Goldbring, Isaac; Hart, Bradd |
|
2016
|
Gödel’s Notre Dame course. Zbl 1380.03003
Adžić, Miloš; Došen, Kosta |
|
2016
|
Lattice-ordered abelian groups and perfect MV-algebras: a topos-theoretic perspective. Zbl 1390.06012
Caramello, Olivia; Russo, Anna Carla |
|
2016
|
Early Bolzano on ground-consequence proofs. Zbl 1384.03005
Centrone, Stefania |
|
2016
|
Russell and Gödel. Zbl 1380.03007
Urquhart, Alasdair |
|
2016
|
The strength of abstraction with predicative comprehension. Zbl 1403.03121
Walsh, Sean |
|
2016
|
Relativizing operational set theory. Zbl 1432.03127
Jäger, Gerhard |
|
2016
|
Book review of: Barry Cooper S. (ed.) and Hodges Andrew (ed.), The once and future Turing. Computing the world. Zbl 1362.00022
Urquhart, Alasdair |
|
2016
|
2015 European summer meeting of the Association for Symbolic Logic. Logic colloquium ’15 Helsinki, Finland August 3–8, 2015. Zbl 1364.00054
|
|
2016
|
Isomorphism invariance and overgeneration. Zbl 1384.03032
Griffiths, Owen; Paseau, A. C. |
|
2016
|
The constraint satisfaction problem and universal algebra. Zbl 1336.68113
Barto, Libor |
|
2015
|
Geometrisation of first-order logic. Zbl 1368.03013
Dyckhoff, Roy; Negri, Sara |
|
2015
|
Demuth’s path to randomness. Zbl 1348.03002
Kučera, Antonín; Nies, André; Porter, Christopher P. |
|
2015
|
Heinrich Behmann’s 1921 lecture on the decision problem and the algebra of logic. Zbl 1369.03013
Mancosu, Paolo; Zach, Richard |
|
2015
|
Saturated free algebras revisited. Zbl 1372.03066
Pillay, Anand; Sklinos, Rizos |
|
2015
|
Symmetries in modal logics. Zbl 1372.03036
Areces, Carlos; Orbe, Ezequiel |
|
2015
|
Book review of: D. R. Hirschfeldt, Slicing the truth. On the computable and reverse mathematics of combinatorial principles. Zbl 1336.00029
Hirst, Jeffry L. |
|
2015
|
Book review of: K. Tent and M. Ziegler, A course in model theory. Zbl 1336.00027
Hart, Bradd |
|
2015
|
Herbrand’s theorem and non-Euclidean geometry. Zbl 1375.03079
Beeson, Michael; Boutry, Pierre; Narboux, Julien |
|
2015
|
Existential-import mathematics. Zbl 1368.03012
Corcoran, John; Masoud, Hassan |
|
2015
|
The convenience of the typesetter; notation and typography in Frege’s Grundgesetze der Arithmetik. Zbl 1354.03001
Green, J. J.; Rossberg, Marcus; Ebert, Philip A. |
|
2015
|
Chang’s conjecture, generic elementary embeddings and inner models for huge cardinals. Zbl 1371.03054
Foreman, Matthew |
|
2015
|
Chain conditions of products, and weakly compact cardinals. Zbl 1345.03092
Rinot, Assaf |
|
2014
|
Computable abelian groups. Zbl 1345.03065
Melnikov, Alexander G. |
|
2014
|
Model theoretic stability and definability of types, after A. Grothendieck. Zbl 1345.03058
Ben Yaacov, Itaï |
|
2014
|
Computuing \(K\)-trivial sets by incomplete random sets. Zbl 1320.03074
Bienvenu, Laurent; Day, Adam R.; Greenberg, Noam; Kučera, Antonín; Miller, Joseph S.; Nies, André; Turetsky, Dan |
|
2014
|
Book review of: The Univalent Foundations Program, Homotopy type theory. Univalent foundations of mathematics. Zbl 1336.00105
van Oosten, Jaap |
|
2014
|
Explicit mathematics and operational set theory: some ontological comparisons. Zbl 1345.03112
Jäger, Gerhard; Zumbrunnen, Rico |
|
2014
|
Nonstandard models in recursion theory and reverse mathematics. Zbl 1341.03098
Chong, C. T.; Li, Wei; Yang, Yue |
|
2014
|
Erdős and set theory. Zbl 1345.03006
Kanamori, Akihiro |
|
2014
|
On optimal inverters. Zbl 1341.03052
Chen, Yijia; Flum, Jörg |
|
2014
|
Completeness and categoricity (in power): formalization without foundationalism. Zbl 1341.03043
Baldwin, John T. |
|
2014
|
2013 North American annual meeting of the Association for Symbolic Logic, University of Waterloo, Waterloo, Ontario, Canada, May 8–11, 2013. Zbl 1301.03007
|
|
2014
|
Approximating Beppo Levi’s principio di approssimazione. Zbl 1428.03002
Bruni, Riccardo; Schuster, Peter |
|
2014
|
The hyperuniverse program. Zbl 1307.03003
Arrigoni, Tatiana; Friedman, Sy-David |
|
2013
|
Descriptive inner model theory. Zbl 1307.03030
Sargsyan, Grigor |
|
2013
|
...and 256 more Documents |