- (1 other version)Some applications of coarse inner model theory.Greg Hjorth - 1997 - Journal of Symbolic Logic 62 (2):337-365.details
|
|
Measures: Back and forth between point sets and large sets.Noa Goldring - 1995 - Bulletin of Symbolic Logic 1 (2):170-188.details
|
|
(1 other version)Some dichotomy theorems for isomorphism relations of countable models.Su Gao - 2001 - Journal of Symbolic Logic 66 (2):902-922.details
|
|
Determinacy and the sharp function on objects of type K.Derrick Albert Dubose - 1995 - Journal of Symbolic Logic 60 (4):1025-1053.details
|
|
Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.details
|
|
(1 other version)The fine structure of real mice.Daniel W. Cunningham - 1998 - Journal of Symbolic Logic 63 (3):937-994.details
|
|
(1 other version)Some complete ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega $$\end{document}-powers of a one-counter language, for any Borel class of finite rank. [REVIEW]Dominique Lecomte & Olivier Finkel - 2021 - Archive for Mathematical Logic 60 (1-2):161-187.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
|
|
How can we recognize potentially ${\bf\pi}^{0}_{\XI}$ subsets of the plane?Dominique Lecomte - 2009 - Journal of Mathematical Logic 9 (1):39-62.details
|
|
Perception, Intuition, and Reliability.Kai Hauser & Tahsİn Öner - 2018 - Theoria 84 (1):23-59.details
|
|
(2 other versions)Sets of reals.Joan Bagaria & W. Hugh Woodin - 1997 - Journal of Symbolic Logic 62 (4):1379-1428.details
|
|
Locally finite ω‐languages and effective analytic sets have the same topological complexity.Olivier Finkel - 2016 - Mathematical Logic Quarterly 62 (4-5):303-318.details
|
|
(1 other version)Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski. [REVIEW]Alfred Tarski & Hourya Sinaceur - 2000 - Bulletin of Symbolic Logic 6 (1):1-44.details
|
|
Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem.Peter Koepke - 1998 - Journal of Symbolic Logic 63 (3):1137-1176.details
|
|
(1 other version)AD and the supercompactness of ℵ1.Howard Becker - 1981 - Journal of Symbolic Logic 46 (4):822-842.details
|
|
Non-Representational Mathematical Realism.María José Frápolli - 2015 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 30 (3):331-348.details
|
|
Some consequences of ad for Kleene recursion in 3e.Edward R. Griffor - 1983 - Mathematical Logic Quarterly 29 (10):485-492.details
|
|
Determinacy in strong cardinal models.P. D. Welch - 2011 - Journal of Symbolic Logic 76 (2):719 - 728.details
|
|
(1 other version)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
|
|
Initial segments of ▵12n + 1-degrees.Ilias G. Kastanas - 1988 - Journal of Symbolic Logic 53 (1):259 - 268.details
|
|
Π11 Borel sets.Alexander S. Kechris, David Marker & Ramez L. Sami - 1989 - Journal of Symbolic Logic 54 (3):915 - 920.details
|
|
Decomposing baire functions.J. Cichoń, M. Morayne, J. Pawlikowski & S. Solecki - 1991 - Journal of Symbolic Logic 56 (4):1273 - 1283.details
|
|
(1 other version)Objectivity over objects: A case study in theory formation.Kai Hauser - 2001 - Synthese 128 (3):245 - 285.details
|
|
Classical and constructive hierarchies in extended intuitionistic analysis.Joan Rand Moschovakis - 2003 - Journal of Symbolic Logic 68 (3):1015-1043.details
|
|
Guarded quantification in least fixed point logic.Gregory McColm - 2004 - Journal of Logic, Language and Information 13 (1):61-110.details
|
|
An effective selection theorem.Ashok Maitra - 1982 - Journal of Symbolic Logic 47 (2):388-394.details
|
|
(1 other version)A first glance at non-restrictivenesst.Benedikt Löwe - 2001 - Philosophia Mathematica 9 (3):347-354.details
|
|
Comparing notions of similarity for uncountable models.Taneli Huuskonen - 1995 - Journal of Symbolic Logic 60 (4):1153-1167.details
|
|
First-order Gödel logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.details
|
|
(1 other version)An absoluteness principle for borel sets.Greg Hjorth - 1998 - Journal of Symbolic Logic 63 (2):663-693.details
|
|
(1 other version)A dichotomy theorem for turbulence.Greg Hjorth - 2002 - Journal of Symbolic Logic 67 (4):1520-1540.details
|
|
Cardinalities in the projective hierarchy.Greg Hjorth - 2002 - Journal of Symbolic Logic 67 (4):1351-1372.details
|
|
Is Cantor's continuum problem inherently vague?Kai Hauser - 2002 - Philosophia Mathematica 10 (3):257-285.details
|
|
Gödel's program revisited part I: The turn to phenomenology.Kai Hauser - 2006 - Bulletin of Symbolic Logic 12 (4):529-590.details
|
|
(3 other versions)Infinite time Turing machines.Joel David Hamkins & Andy Lewis - 2000 - Journal of Symbolic Logic 65 (2):567-604.details
|
|
The truth is never simple.John P. Burgess - 1986 - Journal of Symbolic Logic 51 (3):663-681.details
|
|
(1 other version)The logic of choice.Andreas Blass & Yuri Gurevich - 2000 - Journal of Symbolic Logic 65 (3):1264-1310.details
|
|
Determinacy of Banach games.Howard Becker - 1985 - Journal of Symbolic Logic 50 (1):110-122.details
|
|
Recursive Polish spaces.Tyler Arant - 2023 - Archive for Mathematical Logic 62 (7):1101-1110.details
|
|
(1 other version)Some complete $$\omega $$-powers of a one-counter language, for any Borel class of finite rank.Olivier Finkel & Dominique Lecomte - 2020 - Archive for Mathematical Logic 60 (1-2):161-187.details
|
|
Π11‐Martin‐Löf randomness and Π11‐Solovay completeness.Claude Sureson - 2019 - Mathematical Logic Quarterly 65 (3):265-279.details
|
|
Infinitary tableau for semantic truth.Toby Meadows - 2015 - Review of Symbolic Logic 8 (2):207-235.details
|
|
The Hausdorff-Ershov Hierarchy in Euclidean Spaces.Armin Hemmerling - 2006 - Archive for Mathematical Logic 45 (3):323-350.details
|
|
Some new results on decidability for elementary algebra and geometry.Robert M. Solovay, R. D. Arthan & John Harrison - 2012 - Annals of Pure and Applied Logic 163 (12):1765-1802.details
|
|
(1 other version)Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski.Alfred Tarski & Hourya Sinaceur - 2000 - Bulletin of Symbolic Logic 6 (1):1-44.details
|
|
(1 other version)Optimal proofs of determinacy.Itay Neeman - 1995 - Bulletin of Symbolic Logic 1 (3):327-339.details
|
|
A topological analog to the rice-Shapiro index theorem.Louise Hay & Douglas Miller - 1982 - Journal of Symbolic Logic 47 (4):824-832.details
|
|
(1 other version)The complexity of the collection of countable linear orders of the form I + I.Ferenc Beleznay - 1999 - Journal of Symbolic Logic 64 (4):1519-1526.details
|
|
Provably games.J. P. Aguilera & D. W. Blue - forthcoming - Journal of Symbolic Logic:1-22.details
|
|