- (1 other version)A diamond-plus principle consistent with AD.Daniel W. Cunningham - 2020 - Archive for Mathematical Logic 59 (5-6):755-775.details
|
|
Rethinking Revision.P. D. Welch - 2019 - Journal of Philosophical Logic 48 (1):137-154.details
|
|
Determinacy of refinements to the difference hierarchy of co-analytic sets.Chris Le Sueur - 2018 - Annals of Pure and Applied Logic 169 (1):83-115.details
|
|
Dimension Versus Number of Variables, and Connectivity, too.Gregory L. McColm - 1995 - Mathematical Logic Quarterly 41 (1):111-134.details
|
|
Topological complexity of locally finite ω-languages.Olivier Finkel - 2008 - Archive for Mathematical Logic 47 (6):625-651.details
|
|
New directions in descriptive set theory.Alexander S. Kechris - 1999 - Bulletin of Symbolic Logic 5 (2):161-174.details
|
|
Amenable versus hyperfinite borel equivalence relations.Alexander S. Kechris - 1993 - Journal of Symbolic Logic 58 (3):894-907.details
|
|
The topological Vaught's conjecture and minimal counterexamples.Howard Becker - 1994 - Journal of Symbolic Logic 59 (3):757-784.details
|
|
A characterization of Σ 1 1 -reflecting ordinals.J. P. Aguilera - 2021 - Annals of Pure and Applied Logic 172 (10):103009.details
|
|
Une théorie de la négation et de la complémentation locales.Yvon Gauthier - 1983 - Dialogue 22 (1):57-68.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
|
|
A co-analytic maximal set of orthogonal measures.Vera Fischer & Asger Törnquist - 2010 - Journal of Symbolic Logic 75 (4):1403-1414.details
|
|
A Metamathematical Condition Equivalent to the Existence of a Complete Left Invariant Metric for a Polish Group.Alex Thompson - 2006 - Journal of Symbolic Logic 71 (4):1108 - 1124.details
|
|
(1 other version)Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.details
|
|
Countable structures, Ehrenfeucht strategies, and wadge reductions.Tom Linton - 1991 - Journal of Symbolic Logic 56 (4):1325-1348.details
|
|
Nonuniformization results for the projective hierarchy.Steve Jackson & R. Daniel Mauldin - 1991 - Journal of Symbolic Logic 56 (2):742-748.details
|
|
Injective tests of low complexity in the plane.Dominique Lecomte & Rafael Zamora - 2019 - Mathematical Logic Quarterly 65 (2):134-169.details
|
|
Reductions on equivalence relations generated by universal sets.Longyun Ding & Ping Yu - 2019 - Mathematical Logic Quarterly 65 (1):8-13.details
|
|
Inside the Muchnik degrees II: The degree structures induced by the arithmetical hierarchy of countably continuous functions.K. Higuchi & T. Kihara - 2014 - Annals of Pure and Applied Logic 165 (6):1201-1241.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
|
|
Forcing with Δ perfect trees and minimal Δ-degrees.Alexander S. Kechris - 1981 - Journal of Symbolic Logic 46 (4):803 - 816.details
|
|
On Σ1 1 equivalence relations with Borel classes of bounded rank.Ramez L. Sami - 1984 - Journal of Symbolic Logic 49 (4):1273 - 1283.details
|
|
Two applications of inner model theory to the study of $\underset \sim \to{\sigma}{}_{2}^{1}$ sets.Greg Hjorth - 1996 - Bulletin of Symbolic Logic 2 (1):94 - 107.details
|
|
The Dyck and the Preiss separation uniformly.Vassilios Gregoriades - 2018 - Annals of Pure and Applied Logic 169 (10):1082-1116.details
|
|
A recursion theoretic characterization of the Topological Vaught Conjecture in the Zermelo‐Fraenkel set theory.Vassilios Gregoriades - 2017 - Mathematical Logic Quarterly 63 (6):544-551.details
|
|
In search of ultimate- L the 19th midrasha mathematicae lectures.W. Hugh Woodin - 2017 - Bulletin of Symbolic Logic 23 (1):1-109.details
|
|
Homogeneously Suslin sets in tame mice.Farmer Schlutzenberg - 2012 - Journal of Symbolic Logic 77 (4):1122-1146.details
|
|
A hierarchy of tree-automatic structures.Olivier Finkel & Stevo Todorčević - 2012 - Journal of Symbolic Logic 77 (1):350-368.details
|
|
Ω-powers and descriptive set theory.Dominique Lecomte - 2005 - Journal of Symbolic Logic 70 (4):1210-1232.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
|
|
A dichotomy for the definable universe.Greg Hjorth - 1995 - Journal of Symbolic Logic 60 (4):1199-1207.details
|
|
The prospects for mathematical logic in the twenty-first century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.details
|
|
A characterization of jump operators.Howard Becker - 1988 - Journal of Symbolic Logic 53 (3):708-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
|
|
The Determinacy of Context-Free Games.Olivier Finkel - 2013 - Journal of Symbolic Logic 78 (4):1115-1134.details
|
|
(1 other version)A game-theoretic proof of analytic Ramsey theorem.Kazuyuki Tanaka - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):301-304.details
|
|
On ℵ1 many minimal models.Greg Hjorth - 1996 - Journal of Symbolic Logic 61 (3):906 - 919.details
|
|
Some results about borel sets in descriptive set theory of hyperfinite sets.Boško Živaljević - 1990 - Journal of Symbolic Logic 55 (2):604-614.details
|
|
The equivalence of determinacy and iterated sharps.Derrick Albert Dubose - 1990 - Journal of Symbolic Logic 55 (2):502-525.details
|
|
(1 other version)Boolean operations, borel sets, and hausdorff's question.Abhijit Dasgupta - 1996 - Journal of Symbolic Logic 61 (4):1287-1304.details
|
|
(1 other version)Ad and patterns of singular cardinals below θ.Arthur W. Apter - 1996 - Journal of Symbolic Logic 61 (1):225-235.details
|
|
(3 other versions)Infinite time Turing machines.Joel David Hamkins & Andy Lewis - 2000 - Journal of Symbolic Logic 65 (2):567-604.details
|
|
A covering lemma for L(ℝ).Daniel W. Cunningham - 2002 - Archive for Mathematical Logic 41 (1):49-54.details
|
|
On the non-enumerability of L.G. E. Sacks - 2016 - Journal of Symbolic Logic 81 (4):1396-1404.details
|
|
O matematyce i filozofii matematyki.Krzysztof Wójtowicz - 1998 - Zagadnienia Filozoficzne W Nauce 23.details
|
|
An analysis of the models.Rachid Atmai - 2019 - Journal of Symbolic Logic 84 (1):1-26.details
|
|
(2 other versions)HOD L(ℝ) is a Core Model Below Θ.John R. Steel - 1995 - Bulletin of Symbolic Logic 1 (1):75-84.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
|
|