- Some highly saturated models of Peano arithmetic.James H. Schmerl - 2002 - Journal of Symbolic Logic 67 (4):1265-1273.details
|
|
Elementary properties of the Boolean hull and reduced quotient functors.M. A. Dickmann & F. Miraglia - 2003 - Journal of Symbolic Logic 68 (3):946-971.details
|
|
Properties of forking in {$ømega$}-free pseudo-algebraically closed fields.Zoé Chatzidakis - 2002 - Journal of Symbolic Logic 67 (3):957-996.details
|
|
The Birth of Social Choice Theory from the Spirit of Mathematical Logic: Arrow’s Theorem in the Framework of Model Theory.Daniel Eckert & Frederik S. Herzberg - 2018 - Studia Logica 106 (5):893-911.details
|
|
The Doctrinal Paradox, the Discursive Dilemma, and Logical Aggregation theory.Philippe Mongin - 2012 - Theory and Decision 73 (3):315-355.details
|
|
On elementary equivalence of real semigroups of preordered rings.F. Miraglia & Hugo Mariano - forthcoming - Logic Journal of the IGPL.details
|
|
The modal logic of inequality.Maarten de Rijke - 1992 - Journal of Symbolic Logic 57 (2):566-584.details
|
|
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.details
|
|
Some characterization theorems for infinitary universal horn logic without equality.Pilar Dellunde & Ramon Jansana - 1996 - Journal of Symbolic Logic 61 (4):1242-1260.details
|
|
Périodicité des théories élémentaires des corps de séries formelles itérées.Françoise Delon - 1986 - Journal of Symbolic Logic 51 (2):334-351.details
|
|
Extensions séparées et immédiates de corps valués.Françoise Delon - 1988 - Journal of Symbolic Logic 53 (2):421-428.details
|
|
Minimal models.Rainer Deissler - 1977 - Journal of Symbolic Logic 42 (2):254-260.details
|
|
Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic.Jim de Groot - 2022 - Studia Logica 110 (3):717-743.details
|
|
Universal graphs at the successor of a singular cardinal.Mirna Džamonja & Saharon Shelah - 2003 - Journal of Symbolic Logic 68 (2):366-388.details
|
|
α Logic and Infinitary Languages.Newton C. A. da Costa & Charles C. Pinter - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):105-112.details
|
|
RETRACTED ARTICLE: The Twin Primes Conjecture is True in the Standard Model of Peano Arithmetic: Applications of Rasiowa–Sikorski Lemma in Arithmetic (I).Janusz Czelakowski - 2023 - Studia Logica 111 (2):357-358.details
|
|
Some Theories Having Countably Many Countable Models.Nigel J. Cutland - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):105-110.details
|
|
On forcing over $$L(\mathbb {R})$$.Daniel W. Cunningham - 2023 - Archive for Mathematical Logic 62 (3):359-367.details
|
|
Strong Semantical Characterization for Nondeterministic Programs.Laszlo Csirmaz - 1987 - Mathematical Logic Quarterly 33 (5):407-416.details
|
|
The relative expressive power of some logics extending first-order logic.John Cowles - 1979 - Journal of Symbolic Logic 44 (2):129-146.details
|
|
Generalising canonical extension to the categorical setting.Dion Coumans - 2012 - Annals of Pure and Applied Logic 163 (12):1940-1961.details
|
|
What is computation?B. Jack Copeland - 1996 - Synthese 108 (3):335-59.details
|
|
Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case.Marcelo E. Coniglio, Luis Fariñasdelcerro & Newton Marques Peron - 2022 - Logic Journal of the IGPL 30 (5):695-727.details
|
|
The Elementary Theory of Interval Real Numbers.Stephen D. Comer - 1985 - Mathematical Logic Quarterly 31 (1‐6):89-95.details
|
|
Some useful preservation theorems.Kevin J. Compton - 1983 - Journal of Symbolic Logic 48 (2):427-440.details
|
|
Model completeness and relative decidability.Jennifer Chubb, Russell Miller & Reed Solomon - 2021 - Archive for Mathematical Logic 60 (6):721-735.details
|
|
Completeness Proofs for Some Logics of Programs.Bogdan S. Chlebus - 1982 - Mathematical Logic Quarterly 28 (4‐7):49-62.details
|
|
Model Theoretic Algebra.G. L. Cherlin - 1976 - Journal of Symbolic Logic 41 (2):537-545.details
|
|
∀-Free metabelian groups.Olivier Chapuis - 1997 - Journal of Symbolic Logic 62 (1):159-174.details
|
|
An exposition of the compactness of.Enrique Casanovas & Martin Ziegler - 2020 - Bulletin of Symbolic Logic 26 (3-4):212-218.details
|
|
Small Filter forcing.R. Michael Canjar - 1986 - Journal of Symbolic Logic 51 (3):526-546.details
|
|
How to Express Self-Referential Probability. A Kripkean Proposal.Catrin Campbell-Moore - 2015 - Review of Symbolic Logic 8 (4):680-704.details
|
|
Recursion theory and the lambda-calculus.Robert E. Byerly - 1982 - Journal of Symbolic Logic 47 (1):67-83.details
|
|
An invariance notion in recursion theory.Robert E. Byerly - 1982 - Journal of Symbolic Logic 47 (1):48-66.details
|
|
Model constructions in stationary logic. Part I. forcing.Kim B. Bruce - 1980 - Journal of Symbolic Logic 45 (3):439-454.details
|
|
$L_a$.Kim Bruce & H. J. Keisler - 1979 - Journal of Symbolic Logic 44 (1):15-28.details
|
|
Ideal models and some not so ideal problems in the model theory of l(q).Kim B. Bruce - 1978 - Journal of Symbolic Logic 43 (2):304-321.details
|
|
Second-order Logic and the Power Set.Ethan Brauer - 2018 - Journal of Philosophical Logic 47 (1):123-142.details
|
|
Relevance for the Classical Logician.Ethan Brauer - 2020 - Review of Symbolic Logic 13 (2):436-457.details
|
|
Trois theoremes sur l'induction pour Les formuLes ouvertes munies de l'exponentielle.Sedki Boughattas - 2000 - Journal of Symbolic Logic 65 (1):111-154.details
|
|
Resultats optimaux sur l'existence d'une partie entiere dans Les corps ordonnes.Sedki Boughattas - 1993 - Journal of Symbolic Logic 58 (1):326-333.details
|
|
Query inseparability for ALC ontologies.Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2019 - Artificial Intelligence 272 (C):1-51.details
|
|
Internality, transfer, and infinitesimal modeling of infinite processes†.Emanuele Bottazzi & Mikhail G. Katz - forthcoming - Philosophia Mathematica.details
|
|
Boolean extensions which efface the mahlo property.William Boos - 1974 - Journal of Symbolic Logic 39 (2):254-268.details
|
|
How to Believe Long Conjunctions of Beliefs: Probability, Quasi-Dogmatism and Contextualism.Stefano Bonzio, Gustavo Cevolani & Tommaso Flaminio - 2021 - Erkenntnis 88 (3):965-990.details
|
|
Elementary embedding between countable Boolean algebras.Robert Bonnet & Matatyahu Rubin - 1991 - Journal of Symbolic Logic 56 (4):1212-1229.details
|
|
Cofinality Quantifiers in Abstract Elementary Classes and Beyond.Will Boney - forthcoming - Journal of Symbolic Logic:1-15.details
|
|
The Consistency of Some 4-Stratified Subsystem of NF Including NF 3.Maurice Boffa & Paolo Casalegno - 1985 - Journal of Symbolic Logic 50 (2):407-411.details
|
|
Companionability characterization for the expansion of an o-minimal theory by a dense subgroup.Alexi Block Gorman - 2023 - Annals of Pure and Applied Logic 174 (10):103316.details
|
|
Isomorphic but not lower base-isomorphic cylindric set algebras.B. Biró & S. Shelah - 1988 - Journal of Symbolic Logic 53 (3):846-853.details
|
|