Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe 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, Spencer Unger:
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, Maxim V. Zubkov:
The Simplest low linear order with no Computable Copies. 97-111 - Vieri Benci, Lorenzo Luperi Baglini:
Euclidean numbers and Numerosities. 112-146 - Guillermo Badia, Xavier Caicedo, Carles Noguera:
Maximality of Logic without Identity. 147-162 - Mohammad Golshani, Reihane Zoghifard:
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, Saharon Shelah:
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, Alberto Marcone, Paul Shafer, Giovanni Soldà:
(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, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra:
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, Jiachen Yuan:
On the cofinality of the least -strongly Compact cardinal. 569-582 - Carlos Caleiro, Sérgio Marcelino:
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, Corey Bacal Switzer:
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, Moti Gitik:
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
a service of 
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 2024-08-02 19:05 CEST 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:
