- (1 other version)A Topology for the Space of Countable Models of a First Order Theory.J. T. Baldwin & J. M. Plotkin - 1974 - Mathematical Logic Quarterly 20 (8-12):173-178.details
|
|
Conceptual Foundations of Operational Set Theory.Kaj Børge Hansen - 2010 - Danish Yearbook of Philosophy 45 (1):29-50.details
|
|
(1 other version)Quelques Proprietes des Enonces Universellement Forces.Jean-Claude Lablanquie - 1974 - Mathematical Logic Quarterly 20 (1‐3):31-36.details
|
|
In praise of replacement.Akihiro Kanamori - 2012 - Bulletin of Symbolic Logic 18 (1):46-90.details
|
|
Mass problems and measure-theoretic regularity.Stephen G. Simpson - 2009 - Bulletin of Symbolic Logic 15 (4):385-409.details
|
|
Gödel, Tarski, Church, and the Liar.György Serény - 2003 - Bulletin of Symbolic Logic 9 (1):3-25.details
|
|
A note on definability in equational logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.details
|
|
Finitely generic models of tUH, for certain model companionable theories T.Francoise Point - 1985 - Journal of Symbolic Logic 50 (3):604 - 610.details
|
|
Kreisel's 'Unwinding Program'.Solomon Feferman - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 247--273.details
|
|
The mathematical philosophy of Charles Parsons. [REVIEW]J. M. B. Moss - 1985 - British Journal for the Philosophy of Science 36 (4):437-457.details
|
|
A note on countable complete theories having three isomorphism types of countable models.Robert E. Woodrow - 1976 - Journal of Symbolic Logic 41 (3):672-680.details
|
|
Axioms for the set-theoretic hierarchy.James van Aken - 1986 - Journal of Symbolic Logic 51 (4):992-1004.details
|
|
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.details
|
|
(1 other version)Explicit mathematics with the monotone fixed point principle.Michael Rathjen - 1998 - Journal of Symbolic Logic 63 (2):509-542.details
|
|
Cuts, consistency statements and interpretations.Pavel Pudlák - 1985 - Journal of Symbolic Logic 50 (2):423-441.details
|
|
On Gödel Sentences and What They Say.Peter Milne - 2007 - Philosophia Mathematica 15 (2):193-226.details
|
|
An addition to Rosser's theorem.Henryk Kotlarski - 1996 - Journal of Symbolic Logic 61 (1):285-292.details
|
|
On projective ordinals.Alexander S. Kechris - 1974 - Journal of Symbolic Logic 39 (2):269-282.details
|
|
The mathematical development of set theory from Cantor to Cohen.Akihiro Kanamori - 1996 - Bulletin of Symbolic Logic 2 (1):1-71.details
|
|
A note on interpretations of many-sorted theories.Julian L. Hook - 1985 - Journal of Symbolic Logic 50 (2):372-374.details
|
|
A note on the Kondo-Addison theorem.David Guaspari - 1974 - Journal of Symbolic Logic 39 (3):567-570.details
|
|
Groundwork for weak analysis.António M. Fernandes & Fernando Ferreira - 2002 - Journal of Symbolic Logic 67 (2):557-578.details
|
|
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.details
|
|
Semantics of the infinitistic rules of proof.Krzysztof Rafal Apt - 1976 - Journal of Symbolic Logic 41 (1):121-138.details
|
|
Semi-minimal theories and categoricity.Daniel Andler - 1975 - Journal of Symbolic Logic 40 (3):419-438.details
|
|
Higher-Order Logic and Disquotational Truth.Lavinia Picollo & Thomas Schindler - 2022 - Journal of Philosophical Logic 51 (4):879-918.details
|
|
(1 other version)Steps Towards a Minimalist Account of Numbers.Thomas Schindler - 2021 - Mind 131 (523):863-891.details
|
|
Against the iterative conception of set.Edward Ferrier - 2019 - Philosophical Studies 176 (10):2681-2703.details
|
|
Strong Normalization via Natural Ordinal.Daniel Durante Pereira Alves - 1999 - Dissertation, details
|
|
Three Dogmas of First-Order Logic and some Evidence-based Consequences for Constructive Mathematics of differentiating between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscriptdetails
|
|
The Truth Assignments That Differentiate Human Reasoning From Mechanistic Reasoning: The Evidence-Based Argument for Lucas' Goedelian Thesis.Bhupinder Singh Anand - 2016 - Cognitive Systems Research 40:35-45.details
|
|
(1 other version)Mathematics and Its Applications, A Transcendental-Idealist Perspective.Jairo José da Silva - 2017 - Cham: Springer.details
|
|
Some Notes on Truths and Comprehension.Thomas Schindler - 2018 - Journal of Philosophical Logic 47 (3):449-479.details
|
|
An isomorphism between monoids of external embeddings: About definability in arithmetic.Mihai Prunescu - 2002 - Journal of Symbolic Logic 67 (2):598-620.details
|
|
Logic in the Tractatus.Max Weiss - 2017 - Review of Symbolic Logic 10 (1):1-50.details
|
|
Natural deduction based set theories: a new resolution of the old paradoxes.Paul C. Gilmore - 1986 - Journal of Symbolic Logic 51 (2):393-411.details
|
|
Gödel's Second incompleteness theorem for Q.A. Bezboruah & J. C. Shepherdson - 1976 - Journal of Symbolic Logic 41 (2):503-512.details
|
|
Cut-Elimination and Quantification in Canonical Systems.Anna Zamansky & Arnon Avron - 2006 - Studia Logica 82 (1):157-176.details
|
|
Variable Binding Term Operators.John Corcoran, William Hatcher & John Herring - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):177-182.details
|
|
(1 other version)A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems.Egon Börger - 1979 - Mathematical Logic Quarterly 25 (7-12):135-162.details
|
|
(1 other version)Steps Towards a Minimalist Account of Numbers.Thomas Schindler - 2022 - Mind 131 (523):865-893.details
|
|
Incomplete Symbols — Definite Descriptions Revisited.Norbert Gratzl - 2015 - Journal of Philosophical Logic 44 (5):489-506.details
|
|
(1 other version)Some Remarks on the Structure of Expansions.Roman Murawski - 1980 - Mathematical Logic Quarterly 26 (34‐35):537-546.details
|
|
Heirs of Box Types in Polynomially Bounded Structures.Marcus Tressl - 2009 - Journal of Symbolic Logic 74 (4):1225 - 1263.details
|
|
Partially ordered interpretations.Nobuyoshi Motohashi - 1977 - Journal of Symbolic Logic 42 (1):83-93.details
|
|
Élimination Des quantificateurs dans Des paires de corps.G. Leloup - 1995 - Journal of Symbolic Logic 60 (2):548-562.details
|
|
Book reviews. [REVIEW]A. P. Hazen - 1993 - Philosophia Mathematica 1 (2):173-179.details
|
|
(1 other version)The cylindric algebras of three-valued logic.Norman Feldman - 1998 - Journal of Symbolic Logic 63 (4):1201-1217.details
|
|
(1 other version)On the computational content of the axiom of choice.Stefano Berardi, Marc Bezem & Thierry Coquand - 1998 - Journal of Symbolic Logic 63 (2):600-622.details
|
|
(1 other version)Fragments of Heyting arithmetic.Wolfgang Burr - 2000 - Journal of Symbolic Logic 65 (3):1223-1240.details
|
|