J. Symb. Log.

Keyphrases

Publications

volume 89, number 1, 2024

JSL volume 89 issue 1 Cover and Front matter. J. Symb. Log. 89 (1) (2024)
Maryanthe Malliaris, Saharon Shelah
The Turing Degrees and Keisler's order. J. Symb. Log. 89 (1) (2024)
Guillermo Badia, Xavier Caicedo, Carles Noguera
Maximality of Logic without Identity. J. Symb. Log. 89 (1) (2024)
Samson Leung
Stability Results Assuming tameness, Monster Model, and Continuity of Nonsplitting. J. Symb. Log. 89 (1) (2024)
Robert Paßmann
The First-order Logic of CZF is intuitionistic First-order Logic. J. Symb. Log. 89 (1) (2024)
Kentaro Fujimoto, Volker Halbach
Classical Determinate Truth I. J. Symb. Log. 89 (1) (2024)
JSL volume 89 issue 1 Cover and Back matter. J. Symb. Log. 89 (1) (2024)
James Walsh
An Incompleteness Theorem via Ordinal Analysis. J. Symb. Log. 89 (1) (2024)
Jonathan Cancino-Manríquez
-Ultrafilters in the rational Perfect Set Model. J. Symb. Log. 89 (1) (2024)
Yinhe Peng, Guozhen Shen
A generalized Cantor Theorem in. J. Symb. Log. 89 (1) (2024)
Andrey N. Frolov, Maxim V. Zubkov
The Simplest low linear order with no Computable Copies. J. Symb. Log. 89 (1) (2024)
Mohammad Golshani, Saharon Shelah
Usuba's Principle can Fail at singular Cardinals. J. Symb. Log. 89 (1) (2024)
Guram Bezhanishvili, David Fernández-Duque
The Baire Closure and its Logic. J. Symb. Log. 89 (1) (2024)
Sean Cody
Note on implying. J. Symb. Log. 89 (1) (2024)
Marta Fiori-Carones, Alberto Marcone, Paul Shafer, Giovanni Soldà
(Extra)ordinary Equivalences with the ascending/descending sequence Principle. J. Symb. Log. 89 (1) (2024)
Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra
Polyhedral Completeness of Intermediate Logics: the nerve criterion. J. Symb. Log. 89 (1) (2024)
Omer Ben-Neria, Yair Hayut, Spencer Unger
Stationary Reflection and the Failure of the SCH. J. Symb. Log. 89 (1) (2024)
Mohammad Golshani, Reihane Zoghifard
Completeness of the Gödel-löB Provability Logic for the filter sequence of Normal Measures. J. Symb. Log. 89 (1) (2024)
Jakub Gismatullin
On Model-Theoretic Connected Groups. J. Symb. Log. 89 (1) (2024)
Vieri Benci, Lorenzo Luperi Baglini
Euclidean numbers and Numerosities. J. Symb. Log. 89 (1) (2024)

volume 89, number 2, 2024

Panagiotis Rouvelas
Cantorian Models of Predicative. J. Symb. Log. 89 (2) (2024)
Vera Fischer, Corey Bacal Switzer
Tight Eventually Different families. J. Symb. Log. 89 (2) (2024)
Zhixing You, Jiachen Yuan
On the cofinality of the least -strongly Compact cardinal. J. Symb. Log. 89 (2) (2024)
Bertalan Bodor
Classification of -Categorical Monadically stable Structures. J. Symb. Log. 89 (2) (2024)
Bob A. Dumas
Discontinuous Homomorphisms of with. J. Symb. Log. 89 (2) (2024)
Benoit Monin, Ludovic Patey
Partition Genericity and Pigeonhole Basis theorems. J. Symb. Log. 89 (2) (2024)
Peter Fritz
Axiomatizability of Propositionally Quantified Modal Logics on Relational Frames. J. Symb. Log. 89 (2) (2024)
Mark Kamsma
Nsop-like Independence in Aecats. J. Symb. Log. 89 (2) (2024)
Tom Benhamou, Moti Gitik
On Cohen and Prikry forcing Notions. J. Symb. Log. 89 (2) (2024)
Uri Andrews, Luca San Mauro
Investigating the Computable Friedman-Stanley jump. J. Symb. Log. 89 (2) (2024)
Farmer Schlutzenberg
The Definability of the Extender sequence from in. J. Symb. Log. 89 (2) (2024)
Yijia Chen, Jörg Flum
Forbidden induced subgraphs and the łOś-Tarski Theorem. J. Symb. Log. 89 (2) (2024)
Maciej Malicki
Isomorphism of Locally Compact Polish Metric Structures. J. Symb. Log. 89 (2) (2024)
Will Brian
Partitioning the Real Line into Borel Sets. J. Symb. Log. 89 (2) (2024)
Omar León Sánchez, David Meretzky, Anand Pillay
More on Galois Cohomology, Definability, and differential Algebraic Groups. J. Symb. Log. 89 (2) (2024)
Osvaldo Guzmán
Katětov order on MAD families. J. Symb. Log. 89 (2) (2024)
Tatsuya Goto
Keisler's Theorem and cardinal Invariants. J. Symb. Log. 89 (2) (2024)
Carlos Caleiro, Sérgio Marcelino
Modular Many-Valued Semantics for combined Logics. J. Symb. Log. 89 (2) (2024)

volume 88, number 4, 2023

Wesley Calvert, Johanna N. Y. Franklin, Dan Turetsky
Structural Highness Notions. J. Symb. Log. 88 (4) (2023)
Todd Eisworth
The Pseudopower Dichotomy. J. Symb. Log. 88 (4) (2023)
Ana de Almeida Borges, Joost J. Joosten
An Escape from Vardanyan's Theorem. J. Symb. Log. 88 (4) (2023)
Andreas Hallbäck, Maciej Malicki, Todor Tsankov
Continuous Logic and Borel Equivalence Relations. J. Symb. Log. 88 (4) (2023)
Jun Le Goh
The strength of an Axiom of finite Choice for Branches in Trees. J. Symb. Log. 88 (4) (2023)
Ali Enayat, Mateusz Lelyk
Axiomatizations of Peano Arithmetic: a Truth-Theoretic View. J. Symb. Log. 88 (4) (2023)
Daniel Max Hoffmann, Piotr Kowalski
Model Theory of Fields with finite Group Scheme Actions. J. Symb. Log. 88 (4) (2023)
Jörg Brendle, Corey Bacal Switzer
Higher dimensional cardinal characteristics for Sets of Functions II. J. Symb. Log. 88 (4) (2023)
Jorge A. Cruz-Chapital, Vera Fischer, Osvaldo Guzmán, Jaroslav Supina
Partition forcing and Independent families. J. Symb. Log. 88 (4) (2023)
Daniel Max Hoffmann, Anand Pillay
Thorn Forking, Weak normality, and Theories with Selectors. J. Symb. Log. 88 (4) (2023)
Gareth Boxall, Charlotte Kestner
Theories with distal Shelah expansions. J. Symb. Log. 88 (4) (2023)
Ur Ya'ar
Iterating the cofinality- Constructible Model. J. Symb. Log. 88 (4) (2023)