- What Was the Syntax‐Semantics Debate in the Philosophy of Science About?Sebastian Lutz - 2017 - Philosophy and Phenomenological Research 95 (2):319-352.details
|
|
Relatedness and Interpretability.Richard L. Epstein & Szczerba - 1979 - Philosophical Studies 36 (2):225-231.details
|
|
A notion of effectiveness in arbitrary structures.W. M. Lambert - 1968 - Journal of Symbolic Logic 33 (4):577-602.details
|
|
Model theory of strictly upper triangular matrix rings.William H. Wheeler - 1980 - Journal of Symbolic Logic 45 (3):455-463.details
|
|
A characterization of companionable, universal theories.William H. Wheeler - 1978 - Journal of Symbolic Logic 43 (3):402-429.details
|
|
Nullstellensätze — A Model Theoretic Framework.Volker Weispfenning - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (36):539-545.details
|
|
A Note on the Compactness Theorem in First Order Logic.George Weaver - 1980 - Mathematical Logic Quarterly 26 (7-9):111-113.details
|
|
Uniform interpolation and compact congruences.Samuel J. van Gool, George Metcalfe & Constantine Tsinakis - 2017 - Annals of Pure and Applied Logic 168 (10):1927-1948.details
|
|
One or Two Gentle Remarks about Hans Halvorson’s Critique of the Semantic View.Bas C. van Fraassen - 2014 - Philosophy of Science 81 (2):276-283,.details
|
|
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.details
|
|
50 years of fuzzy set theory and models for supplier assessment and selection: A literature review.Dragan Simić, Ilija Kovačević, Vasa Svirčević & Svetlana Simić - 2017 - Journal of Applied Logic 24 (PA):85-96.details
|
|
Existentially closed structures.H. Simmons - 1972 - Journal of Symbolic Logic 37 (2):293-310.details
|
|
Completeness theorems for topological models.Joseph Sgro - 1977 - Annals of Mathematical Logic 11 (2):173.details
|
|
Existentially closed models of the theory of artinian local rings.Hans Schoutens - 1999 - Journal of Symbolic Logic 64 (2):825-845.details
|
|
Projective model completeness.George S. Sacerdote - 1974 - Journal of Symbolic Logic 39 (1):117-123.details
|
|
Some aspects of model theory and finite structures.Eric Rosen - 2002 - Bulletin of Symbolic Logic 8 (3):380-403.details
|
|
Existentially closed algebras and boolean products.Herbert H. J. Riedel - 1988 - Journal of Symbolic Logic 53 (2):571-596.details
|
|
Über Hilberts Schnittpunktsätze.Wolfgang Rautenberg - 1966 - Mathematical Logic Quarterly 12 (1):57-59.details
|
|
Varieties of misrepresentation and homomorphism.Francesca Pero & Mauricio Suárez - 2016 - European Journal for Philosophy of Science 6 (1):71-90.details
|
|
Interpreting formal logic.Jaroslav Peregrin - 1994 - Erkenntnis 40 (1):5 - 20.details
|
|
Measurement without archimedean axioms.Louis Narens - 1974 - Philosophy of Science 41 (4):374-393.details
|
|
Structures elementarily closed relative to a model for arithmetic.Eugene W. Madison - 1968 - Journal of Symbolic Logic 33 (1):101-104.details
|
|
On the validity of hilbert's nullstellensatz, artin's theorem, and related results in grothendieck toposes.W. A. MacCaull - 1988 - Journal of Symbolic Logic 53 (4):1177-1187.details
|
|
Sheaves and Boolean valued model theory.George Loullis - 1979 - Journal of Symbolic Logic 44 (2):153-183.details
|
|
On Relations between Structures.Per Lindström - 1966 - Theoria 32 (3):172-185.details
|
|
The interval of motion in Leibniz's pacidius philalethi.Samuel Levey - 2003 - Noûs 37 (3):371–416.details
|
|
Dialogue sur l’infinité et la réalité.Sam Labson - 1983 - Philosophiques 10 (2):377-402.details
|
|
The decision problem for formulas in prenex conjunctive normal form with binary disjunctions.M. R. Krom - 1970 - Journal of Symbolic Logic 35 (2):210-216.details
|
|
A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.details
|
|
On A Lattice of Relational Reducts.Klaus Kaiser - 1980 - Mathematical Logic Quarterly 26 (25-27):429-432.details
|
|
Nonstandard Methods and Finiteness Conditions in Algebra.Matt Insall - 1991 - Mathematical Logic Quarterly 37 (33‐35):525-532.details
|
|
Nonstandard Methods and Finiteness Conditions in Algebra.Matt Insall - 1991 - Mathematical Logic Quarterly 37 (33-35):525-532.details
|
|
A model-theoretic characterization of monadic second order logic on infinite words.Silvio Ghilardi & Samuel J. van Gool - 2017 - Journal of Symbolic Logic 82 (1):62-76.details
|
|
Logique mathématique et philosophie des mathématiques.Yvon Gauthier - 1971 - Dialogue 10 (2):243-275.details
|
|
Harmonious logic: Craig’s interpolation theorem and its descendants.Solomon Feferman - 2008 - Synthese 164 (3):341 - 357.details
|
|
Nicht‐persistenz der parallelität in affinen ebenen.Justus Diller - 1969 - Mathematical Logic Quarterly 15 (26‐29):431-433.details
|
|
Nicht‐Persistenz der Parallelität in Affinen Ebenen.Justus Diller - 1969 - Mathematical Logic Quarterly 15 (26-29):431-433.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
|
|
The Notion of Logical Consequence in the Logic of Inexact Predicates.John P. Cleave - 1974 - Mathematical Logic Quarterly 20 (19‐22):307-324.details
|
|
The model-companion of a class of structures.G. L. Cherlin - 1972 - Journal of Symbolic Logic 37 (3):546-556.details
|
|
Model Theoretic Algebra.G. L. Cherlin - 1976 - Journal of Symbolic Logic 41 (2):537-545.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
|
|
Algebraic Characterizations of the Satisfiability of First-Order Logical Formulas and the Halting of Programs.Jean-Pierre Bénéjam - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):111-120.details
|
|
Amalgamation of nonstandard models of arithmetic.Andreas Blass - 1977 - Journal of Symbolic Logic 42 (3):372-386.details
|
|
Fields with automorphism and valuation.Özlem Beyarslan, Daniel Max Hoffmann, Gönenç Onay & David Pierce - 2020 - Archive for Mathematical Logic 59 (7-8):997-1008.details
|
|
Ars inveniendi et théorie des modèles.Hourya Benis-Sinaceur - 1988 - Dialogue 27 (4):591-.details
|
|
Real closed rings and ordered valuation ring.Thomas Becker - 1983 - Mathematical Logic Quarterly 29 (8):417-425.details
|
|
Completing theories by forcing.J. Barwise - 1970 - Annals of Mathematical Logic 2 (2):119.details
|
|
Syntactic characterisations of amalgamation, convexity and related properties.Paul D. Bacsich & Dafydd Rowlands Hughes - 1974 - Journal of Symbolic Logic 39 (3):433-451.details
|
|
Defining algebraic elements.Paul D. Bacsich - 1973 - Journal of Symbolic Logic 38 (1):93-101.details
|
|