| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra |
Polyhedral Completeness of Intermediate Logics: the nerve criterion.  |
J. Symb. Log.  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Omer Ben-Neria, Yair Hayut, Spencer Unger |
Stationary Reflection and the Failure of the SCH. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Cancino-Manríquez |
-Ultrafilters in the rational Perfect Set Model. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Leung |
Stability Results Assuming tameness, Monster Model, and Continuity of Nonsplitting. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Kentaro Fujimoto, Volker Halbach |
Classical Determinate Truth I. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | James Walsh 0007 |
An Incompleteness Theorem via Ordinal Analysis. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillermo Badia, Xavier Caicedo, Carles Noguera |
Maximality of Logic without Identity. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Paßmann |
The First-order Logic of CZF is intuitionistic First-order Logic. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Cody |
Note on implying. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | |
JSL volume 89 issue 1 Cover and Back matter. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey N. Frolov, Maxim V. Zubkov |
The Simplest low linear order with no Computable Copies. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | |
JSL volume 89 issue 1 Cover and Front matter. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Golshani, Saharon Shelah |
Usuba's Principle can Fail at singular Cardinals. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Maryanthe Malliaris, Saharon Shelah |
The Turing Degrees and Keisler's order. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Vieri Benci, Lorenzo Luperi Baglini |
Euclidean numbers and Numerosities. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakub Gismatullin |
On Model-Theoretic Connected Groups. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Guram Bezhanishvili, David Fernández-Duque |
The Baire Closure and its Logic. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Fiori-Carones, Alberto Marcone, Paul Shafer, Giovanni Soldà |
(Extra)ordinary Equivalences with the ascending/descending sequence Principle. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Golshani, Reihane Zoghifard |
Completeness of the Gödel-löB Provability Logic for the filter sequence of Normal Measures. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yinhe Peng, Guozhen Shen |
A generalized Cantor Theorem in. |
J. Symb. Log. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuele Frittaion |
Extensional Realizability and Choice for dependent Types in intuitionistic Set Theory. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakub Gismatullin, Grzegorz Jagiella, Krzysztof Krupinski |
Bohr compactifications of Groups and Rings. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Henk Bruin, Benjamin Vejnar |
Classification of One dimensional dynamical Systems by Countable Structures. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Uri Andrews, Daniel F. Belin, Luca San Mauro |
On the Structure of Computable Reducibility on Equivalence Relations of Natural numbers. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel Campercholi, Diego Nicolás Castaño, José Patricio Díaz Varela, Joan Gispert |
Algebraic Expansions of Logics. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Le Goh, Iskander Sh. Kalimullin, Joseph S. Miller, Mariya Ivanova Soskova |
Pa Relative to an Enumeration Oracle. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Brendle, Corey Bacal Switzer |
Higher dimensional cardinal characteristics for Sets of Functions II. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Leszek Aleksander Kolodziejczyk, Katarzyna W. Kowalik, Keita Yokoyama |
How Strong is Ramsey's Theorem if infinity can be Weak? |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Joan Bagaria, Alejandro Poveda |
More on the Preservation of Large Cardinals Under Class Forcing. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jakub Gogolok |
Model Theory of Derivations of the Frobenius Map Revisited. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Lieberman, Jirí Rosický, Sebastien Vasey |
Cellular Categories and stable Independence. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Loesch |
Additive Covers and the Canonical Base Property. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana de Almeida Borges, Joost J. Joosten |
An Escape from Vardanyan's Theorem. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Max Hoffmann, Piotr Kowalski |
Model Theory of Fields with finite Group Scheme Actions. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kentarô Yamamoto |
The automorphism Group of the FRAïSSé Limit of finite Heyting Algebras - addendum. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Masato Fujita |
Locally O-Minimal Structures With Tame Topological Properties. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | George Metcalfe, Luca Reggio |
Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd Eisworth |
The Pseudopower Dichotomy. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Klein 0004, Rasmus K. Rendsvig |
Metrics for Formal Structures, with an Application to Kripke Models and their dynamics. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mateusz Lelyk |
Model Theory and Proof Theory of the Global Reflection Principle. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Artem Chernikov, Byunghan Kim, Nicholas Ramsey |
Transitivity, Lowness, and ranks in Nsop Theories. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Junguk Lee |
The Embedding Property for Sorted Profinite Groups. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | James Mathew Koussas |
Finite Relation Algebras. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sato Kentaro, Jan Walker |
Finitist Axiomatic Truth. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anand Pillay, Ningyuan Yao |
On Groups with Definable F-generics Definable in P-Adically closed Fields. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ur Ya'ar |
Iterating the cofinality- Constructible Model. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Teruyuki Yorioka |
Asperó-Mota Iteration and the Size of the continuum. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Brattka |
The discontinuity Problem. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean D. Cox, Gunter Fuchs |
The diagonal Strong Reflection Principle and its Fragments. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Gambino, Marco Federico Larrea |
Models of Martin-Löf Type Theory From Algebraic Weak Factorisation Systems. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Guram Bezhanishvili, Kristina Brantley, Julia Ilin |
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruiyuan Chen |
A Universal characterization of Standard Borel Spaces. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Logan Crone, Lior Fishman, Stephen Jackson |
Determinacy of Schmidt's Game and Other Intersection Games. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigor Sargsyan |
Negative Results on Precipitous ideals on. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge A. Cruz-Chapital, Vera Fischer, Osvaldo Guzmán, Jaroslav Supina |
Partition forcing and Independent families. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gareth Boxall, Charlotte Kestner |
Theories with distal Shelah expansions. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | John D. Clemens, Samuel Coskey, Gianni Krakoff |
Computable Reducibility of Equivalence Relations and an Effective jump operator. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sy-David Friedman, Victoria Gitman, Sandra Müller |
Structural Properties of the stable Core. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Le Goh |
The strength of an Axiom of finite Choice for Branches in Trees. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kentarô Yamamoto |
The automorphism Group of the FRAïSSé Limit of finite Heyting Algebras. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Joan Bagaria, Trevor M. Wilson |
The Weak Vopenka Principle for Definable Classes of Structures. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos Mazari-Armida |
Some Stable Non-Elementary Classes of Modules. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael C. Laskowski, Douglas S. Ulrich |
Most(?) Theories Have Borel Complete Reducts. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Lambie-Hanson, Assaf Rinot |
Knaster and Friends III: Subadditive colorings. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Borodulin-Nadzieja, Damian Sobota |
On Sequences of Homomorphisms Into Measure Algebras and the Efimov Problem. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariana Vicaría |
Elimination of Imaginaries in Ordered Abelian Groups with Bounded Regular Rank. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Walker |
Distality Rank. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Saharon Shelah, Lajos Soukup |
On κ-Homogeneous, but Not κ-Transitive Permutation Groups. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Kontinen, Fan Yang 0004 |
Complete Logics for Elementary Team Properties. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Moti Gitik, Eyal Kaplan |
On Restrictions of Ultrafilters From Generic Extensions To Ground Models. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahman Mohammadpour |
Specialising Trees with Small Approximations I. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathan J. Bowler, Florian Gut, Attila Joó, Max Pitz |
Maker-Breaker Games on and. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Brent Cody, Peter Holy |
Ideal operators and Higher Indescribability. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Lempp, Joseph S. Miller, André Nies, Mariya Ivanova Soskova |
Maximal Towers and Ultrafilter Bases in Computability Theory. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gilton, Maxwell Levine, Sárka Stejskalová |
Trees and stationary Reflection at double Successors of Regular Cardinals. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Enayat, Mateusz Lelyk |
Axiomatizations of Peano Arithmetic: a Truth-Theoretic View. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wesley Calvert, Johanna N. Y. Franklin, Dan Turetsky |
Structural Highness Notions. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lothar Sebastian Krapp, Salma Kuhlmann, Moritz Link |
Definability of Henselian Valuations by conditions on the Value Group. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramon Jansana, Tommaso Moraschini |
The Poset of All Logics II: Leibniz Classes and Hierarchy. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard A. Shore |
Almost theorems of Hyperarithmetic Analysis. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Hallbäck, Maciej Malicki, Todor Tsankov |
Continuous Logic and Borel Equivalence Relations. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Max Hoffmann, Anand Pillay |
Thorn Forking, Weak normality, and Theories with Selectors. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | William Chan 0002, Stephen Jackson, Nam Trang |
Countable Length everywhere Club Uniformization. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yinhe Peng, Liuzhen Wu, Liang Yu |
Some Consequences of and. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Fujiwara, Taishi Kurahashi |
Conservation theorems on Semi-Classical Arithmetic. |
J. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Szewczak, Tomasz Weiss |
Null Sets and Combinatorial Covering Properties. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Schindler, Trevor M. Wilson |
The Consistency strength of the Perfect Set Property for Universally Baire Sets of Reals. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey, Noam Greenberg, Matthew Harrison-Trainor, Ludovic Patey, Dan Turetsky |
Relationships between Computability-Theoretic Properties of Problems. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Matthews |
Taking Reinhardt's Power Away. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ramez L. Sami |
Variations on Determinacy and ℵω1. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Joel David Hamkins, Kameryn J. Williams |
The σ1-Definable Universal finite sequence. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Monroe Eskew, Sy-David Friedman |
Embeddings Into Outer Models. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hector Pasten |
Notes on the DPRM Property for Listable Structures. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Richard Zach |
Epsilon theorems in Intermediate Logics. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Itay Kaplan, Ori Segel, Saharon Shelah |
Boolean Types in Dependent Theories. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Lávicka, Jonathan L. Verner |
Completely separable MAD families and the Modal Logic of βω. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell G. Miller |
Htp-Complete Rings of rational numbers. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachael Alvir, Hannah Burchfield, Julia F. Knight |
Copying One of a Pair of Structures. |
J. Symb. Log. |
2022 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license