- A question of borel hyperdeterminacy.Nigel J. Cutland - 1984 - Mathematical Logic Quarterly 30 (19‐24):313-316.details
|
|
Some consequences of ad for Kleene recursion in 3e.Edward R. Griffor - 1983 - Mathematical Logic Quarterly 29 (10):485-492.details
|
|
Topological complexity of locally finite ω-languages.Olivier Finkel - 2008 - Archive for Mathematical Logic 47 (6):625-651.details
|
|
The Hausdorff-Ershov Hierarchy in Euclidean Spaces.Armin Hemmerling - 2006 - Archive for Mathematical Logic 45 (3):323-350.details
|
|
Hypermachines.Sy-David Friedman & P. D. Welch - 2011 - Journal of Symbolic Logic 76 (2):620 - 636.details
|
|
A hierarchy of tree-automatic structures.Olivier Finkel & Stevo Todorčević - 2012 - Journal of Symbolic Logic 77 (1):350-368.details
|
|
The {L}aczkovich—{K}omjáth property for coanalytic equivalence relations.Su Gao, Steve Jackson & Vincent Kieftenbeld - 2010 - Journal of Symbolic Logic 75 (3):1091-1101.details
|
|
Tree Structures Associated to a Family of Functions.Spiros A. Argyros, Pandelis Dodos & Vassilis Kanellopoulos - 2005 - Journal of Symbolic Logic 70 (3):681 - 695.details
|
|
Random reals and possibly infinite computations Part I: Randomness in ∅'.Verónica Becher & Serge Grigorieff - 2005 - Journal of Symbolic Logic 70 (3):891-913.details
|
|
Ramsey sets, the Ramsey ideal, and other classes over R.Paul Corazza - 1992 - Journal of Symbolic Logic 57 (4):1441 - 1468.details
|
|
Two Applications Of Inner Model Theory To The Study Of \sigma^1_2 Sets.Greg Hjorth - 1996 - Bulletin of Symbolic Logic 2 (1):94-107.details
|
|
Ramsey Sets, the Ramsey Ideal, and Other Classes Over $\mathbf{R}$.Paul Corazza - 1992 - Journal of Symbolic Logic 57 (4):1441-1468.details
|
|
The category of inner models.Peter Koepke - 2002 - Synthese 133 (1-2):275 - 303.details
|
|
Mathematical quantum theory I: Random ultrafilters as hidden variables.William Boos - 1996 - Synthese 107 (1):83 - 143.details
|
|
On analytic filters and prefilters.Samy Zafrany - 1990 - Journal of Symbolic Logic 55 (1):315-322.details
|
|
Fine hierarchies and Boolean terms.V. L. Selivanov - 1995 - Journal of Symbolic Logic 60 (1):289-317.details
|
|
Guarded quantification in least fixed point logic.Gregory McColm - 2004 - Journal of Logic, Language and Information 13 (1):61-110.details
|
|
Believing the axioms. I.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (2):481-511.details
|
|
Believing the axioms. II.Penelope Maddy - 1988 - Journal of Symbolic Logic 53 (3):736-764.details
|
|
A first glance at non-restrictivenesst.Benedikt Löwe - 2001 - Philosophia Mathematica 9 (3):347-354.details
|
|
Countable structures, Ehrenfeucht strategies, and wadge reductions.Tom Linton - 1991 - Journal of Symbolic Logic 56 (4):1325-1348.details
|
|
Amenable versus hyperfinite borel equivalence relations.Alexander S. Kechris - 1993 - Journal of Symbolic Logic 58 (3):894-907.details
|
|
The structure of graphs all of whose y-sections are internal sets.Boško Živaljević - 1991 - Journal of Symbolic Logic 56 (1):50-66.details
|
|
First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.details
|
|
Actions by the classical Banach spaces.G. Hjorth - 2000 - Journal of Symbolic Logic 65 (1):392-420.details
|
|
Measures: Back and forth between point sets and large sets.Noa Goldring - 1995 - Bulletin of Symbolic Logic 1 (2):170-188.details
|
|
The equivalence of determinacy and iterated sharps.Derrick Albert Dubose - 1990 - Journal of Symbolic Logic 55 (2):502-525.details
|
|
Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.details
|
|
The fine structure of real mice.Daniel W. Cunningham - 1998 - Journal of Symbolic Logic 63 (3):937-994.details
|
|
On ideals of subsets of the plane and on Cohen reals.Jacek Cichoń & Janusz Pawlikowski - 1986 - Journal of Symbolic Logic 51 (3):560-569.details
|
|
The logic of choice.Andreas Blass & Yuri Gurevich - 2000 - Journal of Symbolic Logic 65 (3):1264-1310.details
|
|
The second-order version of Morley’s theorem on the number of countable models does not require large cardinals.Franklin D. Tall & Jing Zhang - 2024 - Archive for Mathematical Logic 63 (3):483-490.details
|
|
An undecidable extension of Morley's theorem on the number of countable models.Christopher J. Eagle, Clovis Hamel, Sandra Müller & Franklin D. Tall - 2023 - Annals of Pure and Applied Logic 174 (9):103317.details
|
|
Provably games.J. P. Aguilera & D. W. Blue - forthcoming - Journal of Symbolic Logic:1-22.details
|
|
Long games and σ-projective sets.Juan P. Aguilera, Sandra Müller & Philipp Schlicht - 2021 - Annals of Pure and Applied Logic 172 (4):102939.details
|
|
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.details
|
|
Π11‐Martin‐Löf randomness and Π11‐Solovay completeness.Claude Sureson - 2019 - Mathematical Logic Quarterly 65 (3):265-279.details
|
|
The axiom of determinacy implies dependent choice in mice.Sandra Müller - 2019 - Mathematical Logic Quarterly 65 (3):370-375.details
|
|
On the classification of first order Gödel logics.Matthias Baaz & Norbert Preining - 2019 - Annals of Pure and Applied Logic 170 (1):36-57.details
|
|
The Set of Better Quasi Orderings is ∏21.Alberto Marcone - 1995 - Mathematical Logic Quarterly 41 (3):373-383.details
|
|
In search of ultimate- L the 19th midrasha mathematicae lectures.W. Hugh Woodin - 2017 - Bulletin of Symbolic Logic 23 (1):1-109.details
|
|
Infinite time Turing machines.Joel David Hamkins & Andy Lewis - 2000 - Journal of Symbolic Logic 65 (2):567-604.details
|
|
The roots of contemporary Platonism.Penelope Maddy - 1989 - Journal of Symbolic Logic 54 (4):1121-1144.details
|
|
HOD L(ℝ) is a Core Model Below Θ.John R. Steel - 1995 - Bulletin of Symbolic Logic 1 (1):75-84.details
|
|
Richness and Reflection.Neil Barton - 2016 - Philosophia Mathematica 24 (3):330-359.details
|
|
The envelope of a pointclass under a local determinacy hypothesis.Trevor M. Wilson - 2015 - Annals of Pure and Applied Logic 166 (10):991-1018.details
|
|
Fourteen Arguments in Favour of a Formalist Philosophy of Real Mathematics.Karlis Podnieks - 2015 - Baltic Journal of Modern Computing 3 (1):1-15.details
|
|
Sets and supersets.Toby Meadows - 2016 - Synthese 193 (6):1875-1907.details
|
|
Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend - 2013 - Dordrecht, Netherland: Springer.details
|
|
The effective theory of Borel equivalence relations.Ekaterina B. Fokina, Sy-David Friedman & Asger Törnquist - 2010 - Annals of Pure and Applied Logic 161 (7):837-850.details
|
|