Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 88
Volume 88, Number 1, March 2023
- Logan Crone, Lior Fishman, Stephen Jackson:
Determinacy of Schmidt's Game and Other Intersection Games. 1-21 - Sato Kentaro, Jan Walker:
Finitist Axiomatic Truth. 22-73 - Miguel Campercholi, Diego Nicolás Castaño, José Patricio Díaz Varela, Joan Gispert:
Algebraic Expansions of Logics. 74-92 - Marcos Mazari-Armida:
Some Stable Non-Elementary Classes of Modules. 93-117 - Michael Loesch:
Additive Covers and the Canonical Base Property. 118-144 - Joan Bagaria
, Trevor M. Wilson:
The Weak Vopenka Principle for Definable Classes of Structures. 145-168 - Moti Gitik, Eyal Kaplan:
On Restrictions of Ultrafilters From Generic Extensions To Ground Models. 169-190 - Piotr Borodulin-Nadzieja, Damian Sobota:
On Sequences of Homomorphisms Into Measure Algebras and the Efimov Problem. 191-218 - Masato Fujita:
Locally O-Minimal Structures With Tame Topological Properties. 219-241 - Nicola Gambino, Marco Federico Larrea:
Models of Martin-Löf Type Theory From Algebraic Weak Factorisation Systems. 242-289 - Joan Bagaria, Alejandro Poveda:
More on the Preservation of Large Cardinals Under Class Forcing. 290-323 - Ramon Jansana, Tommaso Moraschini:
The Poset of All Logics II: Leibniz Classes and Hierarchy. 324-362 - Saharon Shelah, Lajos Soukup:
On κ-Homogeneous, but Not κ-Transitive Permutation Groups. 363-380 - George Metcalfe, Luca Reggio:
Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions. 381-417 - Michael C. Laskowski, Douglas S. Ulrich:
Most(?) Theories Have Borel Complete Reducts. 418-426 - Guram Bezhanishvili, Kristina Brantley, Julia Ilin:
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations. 427-467
Volume 88, Number 2, June 2023
- Dominik Klein, Rasmus K. Rendsvig:
Metrics for Formal Structures, with an Application to Kripke Models and their dynamics. 469-489 - Grigor Sargsyan:
Negative Results on Precipitous ideals on. 490-509 - Ruiyuan Chen:
A Universal characterization of Standard Borel Spaces. 510-539 - John D. Clemens, Samuel Coskey, Gianni Krakoff:
Computable Reducibility of Equivalence Relations and an Effective jump operator. 540-561 - Henk Bruin, Benjamin Vejnar:
Classification of One dimensional dynamical Systems by Countable Structures. 562-578 - Juha Kontinen, Fan Yang:
Complete Logics for Elementary Team Properties. 579-619 - Leszek Aleksander Kolodziejczyk, Katarzyna W. Kowalik, Keita Yokoyama:
How Strong is Ramsey's Theorem if infinity can be Weak? 620-639 - Rahman Mohammadpour:
Specialising Trees with Small Approximations I. 640-663 - Richard A. Shore:
Almost theorems of Hyperarithmetic Analysis. 664-696 - Nathan J. Bowler, Florian Gut, Attila Joó, Max Pitz:
Maker-Breaker Games on and. 697-703 - Roland Walker:
Distality Rank. 704-737 - Mateusz Lelyk:
Model Theory and Proof Theory of the Global Reflection Principle. 738-779 - Thomas Gilton, Maxwell Levine, Sárka Stejskalová:
Trees and stationary Reflection at double Successors of Regular Cardinals. 780-810 - Michael J. Lieberman, Jirí Rosický, Sebastien Vasey:
Cellular Categories and stable Independence. 811-834 - Brent Cody, Peter Holy:
Ideal operators and Higher Indescribability. 835-873 - James Mathew Koussas:
Finite Relation Algebras. 874-888
Volume 88, Number 3, September 2023
- Sy-David Friedman, Victoria Gitman, Sandra Müller:
Structural Properties of the stable Core. 889-918 - Artem Chernikov, Byunghan Kim, Nicholas Ramsey:
Transitivity, Lowness, and ranks in Nsop Theories. 919-946 - Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev:
On Cohesive powers of linear Orders. 947-1004 - Junguk Lee:
The Embedding Property for Sorted Profinite Groups. 1005-1037 - Uri Andrews, Daniel F. Belin, Luca San Mauro:
On the Structure of Computable Reducibility on Equivalence Relations of Natural numbers. 1038-1063 - Lothar Sebastian Krapp, Salma Kuhlmann, Moritz Link:
Definability of Henselian Valuations by conditions on the Value Group. 1064-1082 - Uri Andrews, Julia F. Knight, Rutger Kuyper, Joseph S. Miller, Mariya Ivanova Soskova:
Expanding the Reals by continuous Functions Adds no Computational Power. 1083-1102 - Jakub Gismatullin, Grzegorz Jagiella, Krzysztof Krupinski:
Bohr compactifications of Groups and Rings. 1103-1137 - Emanuele Frittaion:
Extensional Realizability and Choice for dependent Types in intuitionistic Set Theory. 1138-1169 - Steffen Lempp, Joseph S. Miller, André Nies, Mariya Ivanova Soskova:
Maximal Towers and Ultrafilter Bases in Computability Theory. 1170-1190 - Vasco Brattka:
The discontinuity Problem. 1191-1212 - Jakub Gogolok:
Model Theory of Derivations of the Frobenius Map Revisited. 1213-1229 - Chris Lambie-Hanson, Assaf Rinot:
Knaster and Friends III: Subadditive colorings. 1230-1280 - Sean D. Cox, Gunter Fuchs:
The diagonal Strong Reflection Principle and its Fragments. 1281-1309 - Kentarô Yamamoto:
The automorphism Group of the FRAïSSé Limit of finite Heyting Algebras. 1310-1320 - Kentarô Yamamoto:
The automorphism Group of the FRAïSSé Limit of finite Heyting Algebras - addendum. 1321-1322
Volume 88, Number 4, December 2023
- Gareth Boxall, Charlotte Kestner:
Theories with distal Shelah expansions. 1323-1333 - Anand Pillay, Ningyuan Yao:
On Groups with Definable F-generics Definable in P-Adically closed Fields. 1334-1353 - Daniel Max Hoffmann, Anand Pillay:
Thorn Forking, Weak normality, and Theories with Selectors. 1354-1366 - Jun Le Goh:
The strength of an Axiom of finite Choice for Branches in Trees. 1367-1386 - Teruyuki Yorioka:
Asperó-Mota Iteration and the Size of the continuum. 1387-1420 - Jörg Brendle, Corey Bacal Switzer:
Higher dimensional cardinal characteristics for Sets of Functions II. 1421-1442 - Daniel Max Hoffmann, Piotr Kowalski:
Model Theory of Fields with finite Group Scheme Actions. 1443-1468 - Makoto Fujiwara, Taishi Kurahashi:
Conservation theorems on Semi-Classical Arithmetic. 1469-1496 - Jun Le Goh, Iskander Sh. Kalimullin, Joseph S. Miller, Mariya Ivanova Soskova:
Pa Relative to an Enumeration Oracle. 1497-1525 - Ali Enayat, Mateusz Lelyk:
Axiomatizations of Peano Arithmetic: a Truth-Theoretic View. 1526-1555 - William Chan, Stephen Jackson, Nam Trang:
Countable Length everywhere Club Uniformization. 1556-1572 - Yinhe Peng, Liuzhen Wu, Liang Yu:
Some Consequences of and. 1573-1589 - Jorge A. Cruz-Chapital, Vera Fischer, Osvaldo Guzmán, Jaroslav Supina:
Partition forcing and Independent families. 1590-1612 - Ana de Almeida Borges, Joost J. Joosten:
An Escape from Vardanyan's Theorem. 1613-1638 - Mariana Vicaría:
Elimination of Imaginaries in Ordered Abelian Groups with Bounded Regular Rank. 1639-1654 - Todd Eisworth:
The Pseudopower Dichotomy. 1655-1681 - Ur Ya'ar:
Iterating the cofinality- Constructible Model. 1682-1691 - Wesley Calvert, Johanna N. Y. Franklin, Dan Turetsky:
Structural Highness Notions. 1692-1724 - Andreas Hallbäck, Maciej Malicki, Todor Tsankov:
Continuous Logic and Borel Equivalence Relations. 1725-1752
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-05-14 21:09 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:
