- Conceptual Schemes and the Indefinability of Goodness.Stephen Gutwald - manuscriptdetails
- A Methodological Note on Proving Agreement Between the Elementary Process Theory and Modern Interaction Theories.Cabbolet Marcoen - manuscriptdetails
- A Statistical Learning Approach to a Problem of Induction.Kino Zhao - manuscriptdetails
- Two Notes on Abstract Model Theory. II. Languages for Which the Set of Valid Sentences is Semi-Invariantly Implicitly Definable.Solomon Feferman with with R. L. Vaught - manuscriptdetails
- Two Notes on Abstract Model Theory. I. Properties Invariant on the Range of Definable Relations Between Structures.Solomon Feferman with with R. L. Vaught - manuscriptdetails
- Rijke. PDL for Ordered Trees.Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Gaiffe Evan, Goris Maarten & Marx Maarten - forthcoming - Journal of Applied Non-Classical Logics.details
- Dependent Choice, Properness, and Generic Absoluteness.David Asperó & Asaf Karagila - forthcoming - Review of Symbolic Logic:1-25.details
- Syntactic Characterizations of First-Order Structures in Mathematical Fuzzy Logic.Guillermo Badia, Pilar Dellunde, Vicent Costa & Carles Noguera - forthcoming - Soft Computing.details
- The Additive Groups of ℤ and ℚ with Predicates for Being Square‐Free.Neer Bhardwaj & Minh Chieu Tran - forthcoming - Journal of Symbolic Logic:1-26.details
- Transmission of Verification.Ethan Brauer & Neil Tennant - forthcoming - Review of Symbolic Logic:1-16.details
- Genericity.and Fabio Del Prete C. Beyssade /Alda Mari (ed.) - forthcoming - Oxford University Press.details
- Twist-Valued Models for Three-Valued Paraconsistent Set Theory.Walter A. Carnielli & Marcelo E. Coniglio - forthcoming - Logic and Logical Philosophy:1.details
- Games and Cardinalities in Inquisitive First-Order Logic.Ivano Ciardelli & Gianluca Grilletti - forthcoming - Review of Symbolic Logic:1-28.details
- Domain Formula Circumscription.Tom Costello - forthcoming - Journal of Logic Language and Information.details
- Sur Quelques Relations Entre Les Zéros Et Les poLes Des Fonctions Méromorphes. Applications au Developpement de Mittag-Leffler.Jeanne Férentinou-Nicolacopoulou - forthcoming - Eleutheria.details
- Bisimulations for Knowing How Logics.Raul Fervari, Fernando R. Velázquez-Quesada & Yanjing Wang - forthcoming - Review of Symbolic Logic:1-37.details
- Absoluteness and the Skolem Paradox.Michael Hallett - forthcoming - Unpublished.details
- The Σ1-Definable Universal Finite Sequence.Joel David Hamkins & Kameryn J. Williams - forthcoming - Journal of Symbolic Logic:1-19.details
- Model Theory of Fields with Finite Group Scheme Actions.Daniel Max Hoffmann & Piotr Kowalski - forthcoming - Journal of Symbolic Logic:1-25.details
- Model Theory of Differential Fields with Finite Group Actions.Daniel Max Hoffmann & Omar León Sánchez - forthcoming - Journal of Mathematical Logic.details
- The Taming of Content: Some Thoughts About Domains and Modules.Keith J. Holyoak & Patricia W. Cheng - forthcoming - Thinking and Reasoning.details
- A Bounded Arithmetictheory for LOGCFL.S. Kuroda - forthcoming - Archive for Mathematical Logic.details
- Badiou, Mathematics, and Model Theory.Paul Livingston - forthcoming - MonoKL.details
- Hyperbolic Towers and Independent Generic Sets in the Theory of Free Groups, to Appear in the Proceedings of the Conference" Recent Developments in Model Theory.Lars Louder, Chloé Perin & Rizos Sklinos - forthcoming - Notre Dame Journal of Formal Logic.details
- Groups of Worldview Transformations Implied by Einstein’s Special Principle of Relativity Over Arbitrary Ordered Fields.Judit X. Madarász, Mike Stannett & Gergely Székely - forthcoming - Review of Symbolic Logic:1-28.details
- Definability in Valued Ore Modules.Françoise Point - forthcoming - Bulletin of Symbolic Logic.details
- Quine’s Fluted Fragment Revisited.Ian Pratt-Hartmann, Wiesław Szwast & Lidia Tendera - forthcoming - Journal of Symbolic Logic:1-30.details
- Special Issue on Recent Advances in Logical and Algebraic Approaches to Grammar, Volume 7 (4) Of.C. Retoré - forthcoming - Journal of Logic Language and Information.details
- Variations on Determinacy And.Ramez L. Sami - forthcoming - Journal of Symbolic Logic:1-10.details
- A Fully Model-Theoretic Semantics for Model-Preference Default Systems', Istituto di Elaborazione dell'Informazione, Pisa.F. Sebastiani - forthcoming - Studia Logica.details
- Some Model Theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$.Atticus Stonestrom - forthcoming - Mathematical Logic Quarterly.details
- On the Notion of Guessing Model.Matteo Viale - forthcoming - Annals of Pure and Applied Logic.details
- Closed and Unbounded Classes and the Härtig Quantifier Model.Philip D. Welch - forthcoming - Journal of Symbolic Logic:1-21.details
- Model Theory and Proof Theory of the Global Reflection Principle.Mateusz Zbigniew Łełyk - forthcoming - Journal of Symbolic Logic:1-42.details
- Model theory of monadic predicate logic with the infinity quantifier.Facundo Carreiro, Alessandro Facchini, Yde Venema & Fabio Zanasi - 2022 - Archive for Mathematical Logic 61 (3):465-502.details
- Model Theory and Combinatorics of Banned Sequences.Hunter Chase & James Freitag - 2022 - Journal of Symbolic Logic 87 (1):1-20.details
- Priority Merge and Intersection Modalities.Zoé Christoff, Norbert Gratzl & Olivier Roy - 2022 - Review of Symbolic Logic 15 (1):165-196.details
- Model Theory of Adeles I.Jamshid Derakhshan & Angus Macintyre - 2022 - Annals of Pure and Applied Logic 173 (3):103074.details
- Poset Products as Relational Models.Wesley Fussner - 2022 - Studia Logica 110 (1):95-120.details
- The Isomorphism Relation of Theories with S-DOP in the Generalised Baire Spaces.Miguel Moreno - 2022 - Annals of Pure and Applied Logic 173 (2):103044.details
- Mitchell-Inspired Forcing, with Small Working Parts and Collections of Models of Uniform Size as Side Conditions, and Gap-One Simplified Morasses.Charles Morgan - 2022 - Journal of Symbolic Logic 87 (1):392-415.details
- On the Ideal J[Κ].Assaf Rinot - 2022 - Annals of Pure and Applied Logic 173 (2):103055.details
- Théorie des modèles, de la simulation et représentation scientifique chez Mario Bunge.Jean Robillard - 2022 - Mεtascience 2:à par. aux Éd. Matériologiques.details
- One Dimensional Groups Definable in the P-Adic Numbers.Juan Pablo Acosta López - 2021 - Journal of Symbolic Logic 86 (2):801-816.details
- Long Games and Σ-Projective Sets.Juan P. Aguilera, Sandra Müller & Philipp Schlicht - 2021 - Annals of Pure and Applied Logic 172 (4):102939.details
- Two-Variable Logic has Weak, but Not Strong, Beth Definability.Hajnal Andréka & István Németi - 2021 - Journal of Symbolic Logic 86 (2):785-800.details
- The Property “Arithmetic-is-Recursive” on a Cone.Uri Andrews, Matthew Harrison-Trainor & Noah Schweber - 2021 - Journal of Mathematical Logic 21 (3):2150021.details
- Is a Spectrum of a Non-Disintegrated Flat Strongly Minimal Model Complete Theory in a Language with Finite Signature.Uri Andrews & Omer Mermelstein - 2021 - Journal of Symbolic Logic 86 (4):1632-1656.details
- Denseness Results in the Theory of Algebraic Fields.Sylvy Anscombe, Philip Dittmann & Arno Fehm - 2021 - Annals of Pure and Applied Logic 172 (8):102973.details
- More on HOD-Supercompactness.Arthur W. Apter, Shoshana Friedman & Gunter Fuchs - 2021 - Annals of Pure and Applied Logic 172 (3):102901.details
|
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
|
RSS feed
|
|