- Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.details
|
|
Formalization, primitive concepts, and purity: Formalization, primitive concepts, and purity.John T. Baldwin - 2013 - Review of Symbolic Logic 6 (1):87-128.details
|
|
Definability and Invariance.N. C. A. da Costa & A. A. M. Rodrigues - 2007 - Studia Logica 86 (1):1-30.details
|
|
Definability and Invariance.A. A. M. Rodrigues & N. C. A. da Costa - 2007 - Studia Logica 86 (1):1-30.details
|
|
Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields.Raf Cluckers, Jamshid Derakhshan, Eva Leenknegt & Angus Macintyre - 2013 - Annals of Pure and Applied Logic 164 (12):1236-1246.details
|
|
The classification of countable models of set theory.John Clemens, Samuel Coskey & Samuel Dworetzky - 2020 - Mathematical Logic Quarterly 66 (2):182-189.details
|
|
On the notions of indiscernibility and indeterminacy in the light of the Galois–Grothendieck theory.Gabriel Catren & Julien Page - 2014 - Synthese 191 (18):4377-4408.details
|
|
Categoricity of computable infinitary theories.W. Calvert, S. S. Goncharov, J. F. Knight & Jessica Millar - 2009 - Archive for Mathematical Logic 48 (1):25-38.details
|
|
Symmetric relations, symmetric theories, and Pythagrapheanism.Tim Button - 2022 - Philosophy and Phenomenological Research (3):583-612.details
|
|
Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh - 2016 - Philosophia Mathematica 24 (3):283-307.details
|
|
Indistinguishable elements and mathematical structuralism.José Bermúdez - 2007 - Analysis 67 (2):112-116.details
|
|
Definably topological dynamics of p-adic algebraic groups.Jiaqi Bao & Ningyuan Yao - 2022 - Annals of Pure and Applied Logic 173 (4):103077.details
|
|
The stability spectrum for classes of atomic models.John T. Baldwin & Saharon Shelah - 2012 - Journal of Mathematical Logic 12 (1):1250001-.details
|
|
In memoriam: Michael Morley, 1930–2020.John Baldwin & David Marker - 2021 - Bulletin of Symbolic Logic 27 (4):514-518.details
|
|
Constructing many atomic models in ℵ1.John T. Baldwin, Michael C. Laskowski & Saharon Shelah - 2016 - Journal of Symbolic Logic 81 (3):1142-1162.details
|
|
Completeness and categoricity (in power): Formalization without foundationalism.John T. Baldwin - 2014 - Bulletin of Symbolic Logic 20 (1):39-79.details
|
|
Linear model theory for Lipschitz structures.Seyed-Mohammad Bagheri - 2014 - Archive for Mathematical Logic 53 (7-8):897-927.details
|
|
Saturated models of first-order many-valued logics.Guillermo Badia & Carles Noguera - 2022 - Logic Journal of the IGPL 30 (1):1-20.details
|
|
Bi-Simulating in Bi-Intuitionistic Logic.Guillermo Badia - 2016 - Studia Logica 104 (5):1037-1050.details
|
|
Structural-Abstraction Principles.Graham Leach-Krouse - 2015 - Philosophia Mathematica:nkv033.details
|
|
Advances in Modal Logic, Vol. 13.Nicola Olivetti & Rineke Verbrugge (eds.) - 2020 - College Publications.details
|
|
Mathematical Logic: On Numbers, Sets, Structures, and Symmetry.Roman Kossak - 2018 - Cham, Switzerland: Springer Verlag.details
|
|
Krull dimension in set theory.Jindřich Zapletal - 2023 - Annals of Pure and Applied Logic 174 (9):103299.details
|
|
Definable topological dynamics for trigonalizable algebraic groups over Qp.Ningyuan Yao - 2019 - Mathematical Logic Quarterly 65 (3):376-386.details
|
|
Quantifier-free epistemic term-modal logic with assignment operator.Yanjing Wang, Yu Wei & Jeremy Seligman - 2022 - Annals of Pure and Applied Logic 173 (3):103071.details
|
|
Relative categoricity and abstraction principles.Sean Walsh & Sean Ebels-Duggan - 2015 - Review of Symbolic Logic 8 (3):572-606.details
|
|
Empiricism, Probability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Journal of Applied Logic 12 (3):319–348.details
|
|
Some structural similarities between uncountable sets, powersets and the universe.Athanassios Tzouvaras - 2022 - Mathematical Logic Quarterly 68 (2):136-148.details
|
|
A Theory of Infinitary Relations Extending Zermelo’s Theory of Infinitary Propositions.R. Gregory Taylor - 2016 - Studia Logica 104 (2):277-304.details
|
|
On the generic type of the free group.Rizos Sklinos - 2011 - Journal of Symbolic Logic 76 (1):227 - 234.details
|
|
Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements.Philip Scowcroft - 2019 - Annals of Pure and Applied Logic 170 (6):673-698.details
|
|
On Modal Logics of Model-Theoretic Relations.Denis I. Saveliev & Ilya B. Shapirovsky - 2020 - Studia Logica 108 (5):989-1017.details
|
|
Increasing sentences in Simple Type Theory.Panagiotis Rouvelas - 2017 - Annals of Pure and Applied Logic 168 (10):1902-1926.details
|
|
Decreasing sentences in Simple Type Theory.Panagiotis Rouvelas - 2017 - Mathematical Logic Quarterly 63 (5):342-363.details
|
|
On Groups with Definable F_-Generics Definable in _P-Adically Closed Fields.Anand Pillay & Y. A. O. Ningyuan - 2023 - Journal of Symbolic Logic 88 (4):1334-1353.details
|
|
O is not enough.J. B. Paris & R. Simmonds - 2009 - Review of Symbolic Logic 2 (2):298-309.details
|
|
Multiplicative valued difference fields.Koushik Pal - 2012 - Journal of Symbolic Logic 77 (2):545-579.details
|
|
Definable groups in models of Presburger Arithmetic.Alf Onshuus & Mariana Vicaría - 2020 - Annals of Pure and Applied Logic 171 (6):102795.details
|
|
Another Neighbourhood Semantics for Intuitionistic Logic.Morteza Moniri & Fatemeh Shirmohammadzadeh Maleki - forthcoming - Logic Journal of the IGPL.details
|
|
WHAT CAN A CATEGORICITY THEOREM TELL US?Toby Meadows - 2013 - Review of Symbolic Logic (3):524-544.details
|
|
Beyond Linguistic Interpretation in Theory Comparison.Toby Meadows - forthcoming - Review of Symbolic Logic:1-41.details
|
|
On Morita equivalence and interpretability.Paul Anh Mceldowney - 2020 - Review of Symbolic Logic 13 (2):388-415.details
|
|
Łukasiewicz logics for cooperative games.Enrico Marchioni & Michael Wooldridge - 2019 - Artificial Intelligence 275 (C):252-278.details
|
|
Three different formalisations of einstein’s relativity principle.Judit X. Madarász, Gergely Székely & Mike Stannett - 2017 - Review of Symbolic Logic 10 (3):530-548.details
|
|
Espaces vectoriels C-minimaux.Fares Maalouf - 2010 - Journal of Symbolic Logic 75 (2):741-758.details
|
|
On expansions of.Quentin Lambotte & Françoise Point - 2020 - Annals of Pure and Applied Logic 171 (8):102809.details
|
|
What Are Structural Properties?†.Johannes Korbmacher & Georg Schiemer - 2018 - Philosophia Mathematica 26 (3):295-323.details
|
|
Coding in graphs and linear orderings.Julia F. Knight, Alexandra A. Soskova & Stefan V. Vatev - 2020 - Journal of Symbolic Logic 85 (2):673-690.details
|
|
On non-compact p-adic definable groups.Will Johnson & Ningyuan Yao - 2022 - Journal of Symbolic Logic 87 (1):188-213.details
|
|
Decidable algebraic fields.Moshe Jarden & Alexandra Shlapentokh - 2017 - Journal of Symbolic Logic 82 (2):474-488.details
|
|