Year:

  1.  5
    The Onto Mapping of Sierpinski and Nonmeager Sets.Osvaldo Guzmán González - 2017 - Journal of Symbolic Logic 82 (3).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  4
    Strong Completeness of Provability Logic for Ordinal Spaces.Juan P. Aguilera & David Fernández-Duque - 2017 - Journal of Symbolic Logic 82 (2):608-628.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  1
    Hyperclass Forcing in Morse-Kelley Class Theory.Carolin Antos & Sy-David Friedman - 2017 - Journal of Symbolic Logic 82 (2):549-575.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. Game Semantics and the Geometry of Backtracking: A New Complexity Analysis of Interaction.Federico Aschieri - 2017 - Journal of Symbolic Logic 82 (2):672-708.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. Ramsey’s Theorem for Pairs and K Colors as a Sub-Classical Principle of Arithmetic.Stefano Berardi & Silvia Steila - 2017 - Journal of Symbolic Logic 82 (2):737-753.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. Downward Transference of Mice and Universality of Local Core Models.Andrés Eduardo Caicedo & Martin Zeman - 2017 - Journal of Symbolic Logic 82 (2):385-419.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  2
    Obligation Blackwell Games and P-Automata.Krishnendu Chatterjee & Nir Piterman - 2017 - Journal of Symbolic Logic 82 (2):420-452.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  1
    An Axiomatic Approach to Free Amalgamation.Gabriel Conant - 2017 - Journal of Symbolic Logic 82 (2):648-671.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  1
    The Herbrand Functional Interpretation of the Double Negation Shift.Martín Escardó & Paulo Oliva - 2017 - Journal of Symbolic Logic 82 (2):590-607.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  1
    A Co-Analytic Cohen-Indestructible Maximal Cofinitary Group.Vera Fischer, David Schrittesser & Asger Törnquist - 2017 - Journal of Symbolic Logic 82 (2):629-647.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  2
    Calibrating Determinacy Strength in Levels of the Borel Hierarchy.Sherwood Hachtman - 2017 - Journal of Symbolic Logic 82 (2):510-548.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12. Reverse Mathematics, Young Diagrams, and the Ascending Chain Condition.Kostas Hatzikiriakou & Stephen G. Simpson - 2017 - Journal of Symbolic Logic 82 (2):576-589.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. Decidable Algebraic Fields.Moshe Jarden & Alexandra Shlapentokh - 2017 - Journal of Symbolic Logic 82 (2):474-488.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  1
    A P-Minimal Structure Without Definable Skolem Functions.Pablo Cubides Kovacsics & Kien Huu Nguyen - 2017 - Journal of Symbolic Logic 82 (2):778-786.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  2
    Canonical Models for Fragments of the Axiom of Choice.Paul Larson & Jindřich Zapletal - 2017 - Journal of Symbolic Logic 82 (2):489-509.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16. Ω-Stability and Morley Rank of Bilinear Maps, Rings and Nilpotent Groups.Alexei G. Myasnikov & Mahmood Sohrabi - 2017 - Journal of Symbolic Logic 82 (2):754-777.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. The Borel Complexity of Isomorphism for o-Minimal Theories.Richard Rast & Davender Singh Sahota - 2017 - Journal of Symbolic Logic 82 (2):453-473.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  2
    Weak Reflection Principle, Saturation of the Nonstationary Ideal on Ω 1 and Diamonds.Víctor Torres-pérez - 2017 - Journal of Symbolic Logic 82 (2):724-736.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  8
    Resolving Infinitary Paradoxes.Michał Walicki - 2017 - Journal of Symbolic Logic 82 (2):709-723.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  4
    Disjoint Amalgamation in Locally Finite Aec.John T. Baldwin, Martin Koerwien & Michael C. Laskowski - 2017 - Journal of Symbolic Logic 82 (1):98-119.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  21.  3
    Normal Numbers and Completeness Results for Difference Sets.Konstantinos A. Beros - 2017 - Journal of Symbolic Logic 82 (1):247-257.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  2
    Marginalia on a Theorem of Woodin.Rasmus Blanck & Ali Enayat - 2017 - Journal of Symbolic Logic 82 (1):359-374.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  1
    Handmade Density Sets.Gemma Carotenuto - 2017 - Journal of Symbolic Logic 82 (1):208-223.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24. Measurable Perfect Matchings for Acyclic Locally Countable Borel Graphs.T. Conley Clinton & D. Miller Benjamin - 2017 - Journal of Symbolic Logic 82 (1):258-271.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. Degrees of Categoricity on a Cone Via Η-Systems.Barbara F. Csima & Matthew Harrison-Trainor - 2017 - Journal of Symbolic Logic 82 (1):325-346.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  3
    Cell Decomposition and Classification of Definable Sets in P-Optimal Fields.Darnière Luck & Halpuczok Immanuel - 2017 - Journal of Symbolic Logic 82 (1):120-136.
  27.  2
    Reflection of Stationary Sets and the Tree Property at the Successor of a Singular Cardinal.Laura Fontanella & Menachem Magidor - 2017 - Journal of Symbolic Logic 82 (1):272-291.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  2
    Nip for the Asymptotic Couple of the Field of Logarithmic Transseries.Allen Gehret - 2017 - Journal of Symbolic Logic 82 (1):35-61.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  1
    A Model-Theoretic Characterization of Monadic Second Order Logic on Infinite Words.Silvio Ghilardi & Samuel J. van Gool - 2017 - Journal of Symbolic Logic 82 (1):62-76.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30.  8
    Hod, V and the Gch.Golshani Mohammad - 2017 - Journal of Symbolic Logic 82 (1):224-246.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  1
    Generic Existence of Mad Families.Osvaldo Guzmán-gonzález, Michael Hrušák, Carlos Azarel Martínez-Ranero & Ulises Ariet Ramos-garcía - 2017 - Journal of Symbolic Logic 82 (1):303-316.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  3
    Computable Functors and Effective Interpretability.Matthew Harrison-Trainor, Alexander Melnikov, Russell Miller & Antonio Montalbán - 2017 - Journal of Symbolic Logic 82 (1):77-97.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. Distal and Non-Distal Pairs.Hieronymi Philipp & Nell Travis - 2017 - Journal of Symbolic Logic 82 (1):375-383.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  34.  2
    Computing Strength of Structures Related to the Field of Real Numbers.Gregory Igusa, Julia F. Knight & Noah David Schweber - 2017 - Journal of Symbolic Logic 82 (1):137-150.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. Dp-Minimal Valued Fields.Franziska Jahnke, Pierre Simon & Erik Walsberg - 2017 - Journal of Symbolic Logic 82 (1):151-165.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  2
    Universal Rosser Predicates.Makoto Kikuchi & Taishi Kurahashi - 2017 - Journal of Symbolic Logic 82 (1):292-302.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. Binary Primitive Homogeneous Simple Structures.Vera Koponen - 2017 - Journal of Symbolic Logic 82 (1):183-207.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Topological Cell Decomposition and Dimension Theory in P-Minimal Fields.Pablo Cubides Kovacsics, Luck Darnière & Eva Leenknegt - 2017 - Journal of Symbolic Logic 82 (1):347-358.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  39.  2
    The Field of P-Adic Numbers with a Predicate for the Powers of an Integer.Mariaule Nathanaël - 2017 - Journal of Symbolic Logic 82 (1):166-182.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Turing Degree Spectra of Differentially Closed Fields.David Marker & Russell Miller - 2017 - Journal of Symbolic Logic 82 (1):1-25.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41. Definable and Invariant Types in Enrichments of Nip Theories.Silvain Rideau & Pierre Simon - 2017 - Journal of Symbolic Logic 82 (1):317-324.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Left Maximal and Strongly Right Maximal Idempotents in G.Yevhen Zelenyuk - 2017 - Journal of Symbolic Logic 82 (1):26-34.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
 Previous issues
  
Next issues