default search action
The Journal of Symbolic Logic, Volume 89
Volume 89, Number 1, 2024
- JSL volume 89 issue 1 Cover and Front matter. 1-
- JSL volume 89 issue 1 Cover and Back matter. 1-
- Omer Ben-Neria
, Yair Hayut
Stationary Reflection and the Failure of the SCH. 1-26 - Guram Bezhanishvili, David Fernández-Duque
The Baire Closure and its Logic. 27-49 - Jakub Gismatullin
On Model-Theoretic Connected Groups. 50-79 - James Walsh:
An Incompleteness Theorem via Ordinal Analysis. 80-96 - Andrey N. Frolov
The Simplest low linear order with no Computable Copies. 97-111 - Vieri Benci
Euclidean numbers and Numerosities. 112-146 - Guillermo Badia
Maximality of Logic without Identity. 147-162 - Mohammad Golshani
Completeness of the Gödel-löB Provability Logic for the filter sequence of Normal Measures. 163-174 - Jonathan Cancino-Manríquez
-Ultrafilters in the rational Perfect Set Model. 175-194 - Mohammad Golshani
Usuba's Principle can Fail at singular Cardinals. 195-203 - Yinhe Peng, Guozhen Shen
A generalized Cantor Theorem in. 204-210 - Sean Cody:
Note on implying. 211-217 - Kentaro Fujimoto, Volker Halbach:
Classical Determinate Truth I. 218-261 - Marta Fiori-Carones
(Extra)ordinary Equivalences with the ascending/descending sequence Principle. 262-307 - Robert Paßmann
The First-order Logic of CZF is intuitionistic First-order Logic. 308-330 - Maryanthe Malliaris, Saharon Shelah
The Turing Degrees and Keisler's order. 331-341 - Sam Adam-Day
Polyhedral Completeness of Intermediate Logics: the nerve criterion. 342-382 - Samson Leung
Stability Results Assuming tameness, Monster Model, and Continuity of Nonsplitting. 383-425
Volume 89, Number 2, 2024
- Farmer Schlutzenberg
The Definability of the Extender sequence from in. 427-459 - Bertalan Bodor:
Classification of -Categorical Monadically stable Structures. 460-495 - Omar León Sánchez, David Meretzky, Anand Pillay:
More on Galois Cohomology, Definability, and differential Algebraic Groups. 496-515 - Yijia Chen, Jörg Flum:
Forbidden induced subgraphs and the łOś-Tarski Theorem. 516-548 - Will Brian:
Partitioning the Real Line into Borel Sets. 549-568 - Zhixing You
On the cofinality of the least -strongly Compact cardinal. 569-582 - Carlos Caleiro
Modular Many-Valued Semantics for combined Logics. 583-636 - Panagiotis Rouvelas
Cantorian Models of Predicative. 637-645 - Maciej Malicki:
Isomorphism of Locally Compact Polish Metric Structures. 646-664 - Bob A. Dumas
Discontinuous Homomorphisms of with. 665-696 - Vera Fischer
Tight Eventually Different families. 697-723 - Mark Kamsma
Nsop-like Independence in Aecats. 724-757 - Peter Fritz
Axiomatizability of Propositionally Quantified Modal Logics on Relational Frames. 758-793 - Osvaldo Guzmán:
Katětov order on MAD families. 794-828 - Benoit Monin, Ludovic Patey
Partition Genericity and Pigeonhole Basis theorems. 829-857 - Tom Benhamou
On Cohen and Prikry forcing Notions. 858-904 - Tatsuya Goto:
Keisler's Theorem and cardinal Invariants. 905-917 - Uri Andrews, Luca San Mauro
Investigating the Computable Friedman-Stanley jump. 918-944
Volume 89, Number 3, 2024
- Dana Bartosová, Lynn Scow:
A New Perspective on Semi-Retractions and the Ramsey Property. 945-979 - James Holland:
Weak indestructibility and Reflection. 980-1006 - Joel David Hamkins
Reflection in second-order Set Theory with abundant urelements bi-interprets a Supercompact cardinal. 1007-1043 - Saeideh Bahrami
Self-Embeddings of Models of Arithmetic; fixed Points, Small Submodels, and extendability. 1044-1066 - Jukkrid Nuntasri, Pimpen Vejjajiva:
The Permutations with n non-fixed Points and the sequences with Length n of a Set. 1067-1076 - Dag Normann, Sam Sanders:
On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor. 1077-1127 - Alexi Block Gorman, Christian Schulz:
Fractal Dimensions of k-Automatic Sets. 1128-1157 - Alessandro Berarducci
Orthogonal Decomposition of Definable Groups. 1158-1179 - Arthur W. Apter:
Strong compactness, square, GCH, and Woodin Cardinals. 1180-1188 - Julien Cervelle, William Gaudelier, Ludovic Patey
THE REVERSE MATHEMATICS OF ${\mathsf {CAC\ FOR\ TREES}}$. 1189-1211 - Tristan van der Vlugt:
Separating Many localisation Cardinals on the generalised Baire Space. 1212-1231 - Djamel Eddine Amir, Mathieu Hoyrup:
Comparing Computability in two Topologies. 1232-1250 - William Adkisson
The Strong and super Tree Properties at Successors of singular Cardinals. 1251-1283 - Eldar Fischer, Johann A. Makowsky
Extensions and Limits of the Specker-Blatter Theorem. 1284-1312 - Alec Fox:
Computable Presentations of C*-Algebras. 1313-1338 - Karim Khanaki
Remarks on convergence of Morley sequences. 1339-1357 - Iskander Sh. Kalimullin, Steffen Lempp
On cupping and Ahmad Pairs. 1358-1369 - Barbara F. Csima, Rod Downey
ON THE C.E. DEGREES REALIZABLE IN $\Pi ^0_1$ CLASSES. 1370-1395
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-22 20:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: