default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Symbolic Logic, Volume 87
Volume 87, Number 1, March 2022
- Hunter Chase, James Freitag
:
Model Theory and Combinatorics of banned sequences. 1-20 - Matthew Harrison-Trainor, Antonio Montalbán:
The Tree of Tuples of a Structure. 21-46 - Rod Downey, Noam Greenberg, Matthew Harrison-Trainor, Ludovic Patey, Dan Turetsky:
Relationships between Computability-Theoretic Properties of Problems. 47-71 - Ludovic Patey:
Ramsey-like theorems and moduli of Computation. 72-108 - Jörg Brendle, Francesco Parente:
Combinatorics of Ultrafilters on Cohen and Random Algebras. 109-126 - Christopher Hawthorne:
Contributions to the Theory of F-Automatic Sets. 127-158 - Itaï Ben Yaacov:
RECONSTRUCTION OF NON- ℵ0ℵ0\aleph _0 -CATEGORICAL THEORIES. 159-187 - Will Johnson, Ningyuan Yao:
On non-Compact P-ADIC Definable Groups. 188-213 - Arthur W. Apter:
Indestructibility when the First two Measurable Cardinals are strongly Compact. 214-227 - Adam Kwela, Paolo Leonetti:
Density-like and generalized density ideals. 228-251 - Russell G. Miller:
Htp-Complete Rings of rational numbers. 252-272 - Hector Pasten:
Notes on the DPRM Property for Listable Structures. 273-312 - Lu Liu, Ludovic Patey:
The Reverse Mathematics of the thin Set and ERDőS-Moser theorems. 313-346 - Sourav Tarafder:
Non-Classical Foundations of Set Theory. 347-376 - Eugenio Colla, Domenico Zambella:
Ramsey's Coheirs. 377-391 - Charles Morgan:
Mitchell-Inspired forcing, with Small Working parts and Collections of Models of Uniform Size as Side conditions, and Gap-One Simplified Morasses. 392-415 - Mahmood Etedadialiabadi, Su Gao:
On Extensions of Partial Isomorphisms. 416-435
- Nadav Meir:
Pseudo-finite Sets, Pseudo-O-Minimality - erratum. 436
Volume 87, Number 2, June 2022
- Takako Nemoto, Sato Kentaro:
A Marriage of Brouwer's Intuitionism and Hilbert's finitism I: Arithmetic. 437-497 - Tomás Lávicka, Jonathan L. Verner:
Completely separable MAD families and the Modal Logic of βω. 498-507 - Ralf Schindler, Trevor M. Wilson:
The Consistency strength of the Perfect Set Property for Universally Baire Sets of Reals. 508-526 - Hristo Aleksndrov Ganchev, Iskander Sh. Kalimullin, Joseph S. Miller, Mariya Ivanova Soskova:
A Structural Dichotomy in the Enumeration Degrees. 527-544 - Sebastien Vasey:
On Categoricity in Successive Cardinals. 545-563 - Philip D. Welch:
Closed and Unbounded Classes and the HäRtig Quantifier Model. 564-584 - Bakh Khoussainov, Toru Takisaka:
Infinite Strings and their Large Scale Properties. 585-625 - Yair Hayut, Menachem Magidor, Alejandro Poveda:
Identity Crisis between supercompactness and VǒPenka's Principle. 626-648 - Isaac Goldbring, H. Jerome Keisler:
Continuous Sentences Preserved under Reduced Products. 649-681 - Matthias Baaz, Richard Zach:
Epsilon theorems in Intermediate Logics. 682-720 - Ramez L. Sami:
Variations on Determinacy and ℵω1. 721-731 - Victor L. Selivanov:
A Q-Wadge Hierarchy in quasi-Polish Spaces. 732-757 - Alessandro Berarducci, Marcello Mamino:
Asymptotic Analysis of Skolem's exponential Functions. 758-782 - Joel David Hamkins, Kameryn J. Williams:
The σ1-Definable Universal finite sequence. 783-801 - Arno Pauly, Linda Westrick, Liang Yu:
Luzin's (n) and Randomness Reflection. 802-828 - Salvador García Ferreira, Osvaldo Guzmán González:
More on FRéChet-Urysohn ideals. 829-851 - Jan Krajícek:
Information in Propositional Proofs and Algorithmic Proof Search. 852-869
- David Asperó, Miguel Angel Mota:
Retraction - Measuring Club-sequences Together with the continuum Large. 870
- Philip Ehrlich, Elliot Kaplan:
Surreal Ordered exponential Fields - erratum. 871
Volume 87, Number 3, September 2022
- Su Gao, Steve Jackson, Edward Krohne, Brandon Seward:
Forcing Constructions and Countable Borel Equivalence Relations. 873-893 - Reese Johnston, Dilip Raghavan:
Complexity of Index Sets of Descriptive Set-Theoretic Notions. 894-911 - Erfan Khaniki:
New Relations and Separations of conjectures about Incompleteness in the finite Domain. 912-937 - Barnabás Farkas, Lyubomyr Zdomskyy:
Ways of Destruction. 938-966 - Pierre Matet:
Applications of PCF Theory to the Study of ideals on. 967-994 - Joseph Boudou, Martín Diéguez, David Fernández-Duque:
Complete intuitionistic Temporal Logics for Topological dynamics. 995-1022 - Dylan Airey, Steve Jackson, Bill Mance:
Descriptive Complexity in Cantor Series. 1023-1045 - Ondrej Zindulka:
Meager-additive Sets in Topological Groups. 1046-1064 - Rafal Filipów, Adam Kwela:
Yet Another Ideal Version of the Bounding number. 1065-1092 - Eleftherios Tachtsis:
Almost Disjoint and MAD families in Vector Spaces and Choice Principles. 1093-1110 - Yair Hayut, Menachem Magidor:
Subcompact Cardinals, Type Omission, and ladder Systems. 1111-1129 - Samuel Braunfeld, Michael C. Laskowski:
Counting siblings in Universal Theories. 1130-1155 - Nikolaos Galatos, Gavin St. John:
Most Simple Extensions of FLe are Undecidable. 1156-1200 - Rachael Alvir, Hannah Burchfield, Julia F. Knight:
Copying One of a Pair of Structures. 1201-1214 - Rachael Alvir, Wesley Calvert, Grant Goodman, Valentina S. Harizanov, Julia F. Knight, Russell G. Miller, Andrey S. Morozov, Alexandra A. Soskova, Rose Weisshaar:
Interpreting a field in its Heisenberg Group. 1215-1230 - Piotr Szewczak, Tomasz Weiss:
Null Sets and Combinatorial Covering Properties. 1231-1242 - Alfred Dolich, Chris Miller, Alex Savatovsky, Athipat Thamrongthanyalak:
Connectedness in Structures on the Real numbers: O-Minimality and Undecidability. 1243-1259 - Uri Andrews, Andrea Sorbi:
Initial Segments of the Degrees of Ceers. 1260-1282 - Rob Egrot, Robin Hirsch:
First-order Axiomatisations of Representable Relation Algebras Need Formulas of Unbounded Quantifier depth. 1283-1300
Volume 87, Number 4, December 2022
- Monroe Eskew, Sy-David Friedman:
Embeddings Into Outer Models. 1301-1321 - Guram Bezhanishvili, Luca Carai, Patrick J. Morandi:
Modal Operators on Rings of Continuous Functions. 1322-1348 - Itay Kaplan, Ori Segel, Saharon Shelah:
Boolean Types in Dependent Theories. 1349-1373 - Zlatan Damnjanovic:
Mutual Interpretability of Weak Essentially Undecidable Theories. 1374-1395 - Zurab Janelidze, Ineke van der Berg:
A Dedekind-Style Axiomatization and the Corresponding Universal Property of an Ordinal Number System. 1396-1418 - Jonathan Schilhan:
Tree Forcing and Definable Maximal Independent Sets in Hypergraphs. 1419-1458 - Márton Elekes, János Flesch, Viktor Kiss, Donát Nagy, Márk Poór, Arkadi Predtetchinski:
Games Characterizing Limsup Functions and Baire Class 1 Functions. 1459-1473 - Dag Normann, Sam Sanders:
On the Uncountability of ℝ R. 1474-1521 - Tommaso Moraschini:
On Equational Completeness Theorems. 1522-1575 - Amanda Vidal:
Undecidability and Non-Axiomatizability of Modal Many-Valued Logics. 1576-1605 - Vera Fischer, Diana Carolina Montoya:
Higher Independence. 1606-1630 - Josiah Jacobsen-Grocott:
A Characterization of the Strongly 𝜼-Representable Many-One Degrees. 1631-1642 - Richard Matthews:
Taking Reinhardt's Power Away. 1643-1662 - Dino Rossegger:
Degree Spectra of Analytic Complete Equivalence Relations. 1663-1676 - Zu Yao Teoh:
Structural Considerations of Ramsey Algebras. 1677-1692 - Rod Downey, Matthew Harrison-Trainor:
A Minimal Set Low for Speed. 1693-1728
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-11-15 19:21 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:
