J. Symb. Log.

Keyphrases

Publications

volume 88, number 2, 2023

Richard A. Shore
Almost theorems of Hyperarithmetic Analysis. J. Symb. Log. 88 (2) (2023)
Dominik Klein, Rasmus K. Rendsvig
Metrics for Formal Structures, with an Application to Kripke Models and their dynamics. J. Symb. Log. 88 (2) (2023)
John D. Clemens, Samuel Coskey, Gianni Krakoff
Computable Reducibility of Equivalence Relations and an Effective jump operator. J. Symb. Log. 88 (2) (2023)
Nathan J. Bowler, Florian Gut, Attila Joó, Max Pitz
Maker-Breaker Games on and. J. Symb. Log. 88 (2) (2023)
Brent Cody, Peter Holy
Ideal operators and Higher Indescribability. J. Symb. Log. 88 (2) (2023)
Rahman Mohammadpour
Specialising Trees with Small Approximations I. J. Symb. Log. 88 (2) (2023)
Leszek Aleksander Kolodziejczyk, Katarzyna W. Kowalik, Keita Yokoyama
How Strong is Ramsey's Theorem if infinity can be Weak? J. Symb. Log. 88 (2) (2023)
Mateusz Lelyk
Model Theory and Proof Theory of the Global Reflection Principle. J. Symb. Log. 88 (2) (2023)
Thomas Gilton, Maxwell Levine, Sárka Stejskalová
Trees and stationary Reflection at double Successors of Regular Cardinals. J. Symb. Log. 88 (2) (2023)
Juha Kontinen, Fan Yang
Complete Logics for Elementary Team Properties. J. Symb. Log. 88 (2) (2023)
Michael J. Lieberman, Jirí Rosický, Sebastien Vasey
Cellular Categories and stable Independence. J. Symb. Log. 88 (2) (2023)
Grigor Sargsyan
Negative Results on Precipitous ideals on. J. Symb. Log. 88 (2) (2023)
Ruiyuan Chen
A Universal characterization of Standard Borel Spaces. J. Symb. Log. 88 (2) (2023)
Henk Bruin, Benjamin Vejnar
Classification of One dimensional dynamical Systems by Countable Structures. J. Symb. Log. 88 (2) (2023)
Roland Walker
Distality Rank. J. Symb. Log. 88 (2) (2023)

volume 88, number 3, 2023

Uri Andrews, Julia F. Knight, Rutger Kuyper, Joseph S. Miller, Mariya Ivanova Soskova
Expanding the Reals by continuous Functions Adds no Computational Power. J. Symb. Log. 88 (3) (2023)
Sy-David Friedman, Victoria Gitman, Sandra Müller
Structural Properties of the stable Core. J. Symb. Log. 88 (3) (2023)
Kentarô Yamamoto
The automorphism Group of the FRAïSSé Limit of finite Heyting Algebras - addendum. J. Symb. Log. 88 (3) (2023)
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev
On Cohesive powers of linear Orders. J. Symb. Log. 88 (3) (2023)
Steffen Lempp, Joseph S. Miller, André Nies, Mariya Ivanova Soskova
Maximal Towers and Ultrafilter Bases in Computability Theory. J. Symb. Log. 88 (3) (2023)
Jakub Gogolok
Model Theory of Derivations of the Frobenius Map Revisited. J. Symb. Log. 88 (3) (2023)
Kentarô Yamamoto
The automorphism Group of the FRAïSSé Limit of finite Heyting Algebras. J. Symb. Log. 88 (3) (2023)
Vasco Brattka
The discontinuity Problem. J. Symb. Log. 88 (3) (2023)
Jakub Gismatullin, Grzegorz Jagiella, Krzysztof Krupinski
Bohr compactifications of Groups and Rings. J. Symb. Log. 88 (3) (2023)
Lothar Sebastian Krapp, Salma Kuhlmann, Moritz Link
Definability of Henselian Valuations by conditions on the Value Group. J. Symb. Log. 88 (3) (2023)
Uri Andrews, Daniel F. Belin, Luca San Mauro
On the Structure of Computable Reducibility on Equivalence Relations of Natural numbers. J. Symb. Log. 88 (3) (2023)
Emanuele Frittaion
Extensional Realizability and Choice for dependent Types in intuitionistic Set Theory. J. Symb. Log. 88 (3) (2023)
Sean D. Cox, Gunter Fuchs
The diagonal Strong Reflection Principle and its Fragments. J. Symb. Log. 88 (3) (2023)
Chris Lambie-Hanson, Assaf Rinot
Knaster and Friends III: Subadditive colorings. J. Symb. Log. 88 (3) (2023)
Junguk Lee
The Embedding Property for Sorted Profinite Groups. J. Symb. Log. 88 (3) (2023)
Artem Chernikov, Byunghan Kim, Nicholas Ramsey
Transitivity, Lowness, and ranks in Nsop Theories. J. Symb. Log. 88 (3) (2023)

volume 88, number 4, 2023

Daniel Max Hoffmann, Piotr Kowalski
Model Theory of Fields with finite Group Scheme Actions. J. Symb. Log. 88 (4) (2023)
Gareth Boxall, Charlotte Kestner
Theories with distal Shelah expansions. 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)
Todd Eisworth
The Pseudopower Dichotomy. J. Symb. Log. 88 (4) (2023)
Anand Pillay, Ningyuan Yao
-Adically closed Fields. 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)
Jörg Brendle, Corey Bacal Switzer
Higher dimensional cardinal characteristics for Sets of Functions II. J. Symb. Log. 88 (4) (2023)
Jun Le Goh, Iskander Sh. Kalimullin, Joseph S. Miller, Mariya Ivanova Soskova
Pa Relative to an Enumeration Oracle. J. Symb. Log. 88 (4) (2023)
Yinhe Peng, Liuzhen Wu, Liang Yu
Some Consequences of and. J. Symb. Log. 88 (4) (2023)
Wesley Calvert, Johanna N. Y. Franklin, Dan Turetsky
Structural Highness Notions. J. Symb. Log. 88 (4) (2023)
Teruyuki Yorioka
Asperó-Mota Iteration and the Size of the continuum. J. Symb. Log. 88 (4) (2023)
Ur Ya'ar
Iterating the cofinality- Constructible Model. J. Symb. Log. 88 (4) (2023)
Makoto Fujiwara, Taishi Kurahashi
Conservation theorems on Semi-Classical Arithmetic. 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)
Daniel Max Hoffmann, Anand Pillay
Thorn Forking, Weak normality, and Theories with Selectors. 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)
Ali Enayat, Mateusz Lelyk
Axiomatizations of Peano Arithmetic: a Truth-Theoretic View. J. Symb. Log. 88 (4) (2023)
William Chan, Stephen Jackson, Nam Trang
Countable Length everywhere Club Uniformization. J. Symb. Log. 88 (4) (2023)
Mariana Vicaría
Elimination of Imaginaries in Ordered Abelian Groups with Bounded Regular Rank. J. Symb. Log. 88 (4) (2023)