- Tame Topology and O-Minimal Structures.Lou van den Dries - 2000 - Bulletin of Symbolic Logic 6 (2):216-218.details
|
|
The absolute arithmetic continuum and the unification of all numbers great and small.Philip Ehrlich - 2012 - Bulletin of Symbolic Logic 18 (1):1-45.details
|
|
Second order logic or set theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.details
|
|
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Philosophy of mathematics and deductive structure in Euclid's Elements.Ian Mueller - 1981 - Mineola, N.Y.: Dover Publications.details
|
|
Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.details
|
|
Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.details
|
|
Eudoxos and dedekind: On the ancient greek theory of ratios and its relation to modern mathematics.Howard Stein - 1990 - Synthese 84 (2):163 - 211.details
|
|
Formalization, primitive concepts, and purity: Formalization, primitive concepts, and purity.John T. Baldwin - 2013 - Review of Symbolic Logic 6 (1):87-128.details
|
|
From completeness to archimedean completenes.Philip Ehrlich - 1997 - Synthese 110 (1):57-76.details
|
|
Tarski's system of geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.details
|
|
On strongly minimal sets.J. T. Baldwin & A. H. Lachlan - 1971 - Journal of Symbolic Logic 36 (1):79-96.details
|
|
On Constructive Axiomatic Method.Andrei Rodin - unknowndetails
|
|
Notes on quasiminimality and excellence.John T. Baldwin - 2004 - Bulletin of Symbolic Logic 10 (3):334-366.details
|
|
ssays on the Theory of Numbers. [REVIEW]R. Dedekind - 1903 - Ancient Philosophy (Misc) 13:314.details
|
|
Completeness and categoricity (in power): Formalization without foundationalism.John T. Baldwin - 2014 - Bulletin of Symbolic Logic 20 (1):39-79.details
|
|
Internal Categoricity in Arithmetic and Set Theory.Jouko Väänänen & Tong Wang - 2015 - Notre Dame Journal of Formal Logic 56 (1):121-134.details
|
|
Bolzano's Philosophy and the Emergence of Modern Mathematics.Paul Rusnock (ed.) - 2000 - BRILL.details
|
|
The stability spectrum for classes of atomic models.John T. Baldwin & Saharon Shelah - 2012 - Journal of Mathematical Logic 12 (1):1250001-.details
|
|
Subsystems of Second Order Arithmetic.Stephen George Simpson - 1999 - Springer Verlag.details
|
|
Conceptions of the continuum.Solomon Feferman - unknowndetails
|
|
A consistency proof for elementary algebra and geometry.Harvey Friedman - manuscriptdetails
|
|
Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.details
|
|
Philosophy of Mathematics and Deductive Structure of Euclid 's "Elements".Ian Mueller - 1983 - British Journal for the Philosophy of Science 34 (1):57-70.details
|
|
Completitud y continuidad en Fundamentos de la geometría de Hilbert (Completeness and Continuity in Hilbert’s Foundations of Geometry).Eduardo Nicolás Giovannini - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (1):139-163.details
|
|
Einige Unentscheidbare Körpertheorien.Martin Ziegler - 1985 - Journal of Symbolic Logic 50 (2):552-552.details
|
|
Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..details
|
|
Axiomatizing Changing Conceptions of the Geometric Continuum II: Archimedes-Descartes-Hilbert-Tarski†.John T. Baldwin - 2019 - Philosophia Mathematica 27 (1):33-60.details
|
|
Model Theory and the Philosophy of Mathematical Practice: Formalization Without Foundationalism.John T. Baldwin - 2018 - Cambridge University Press.details
|
|
The Rise of non-Archimedean Mathematics and the Roots of a Misconception I: The Emergence of non-Archimedean Systems of Magnitudes.Philip Ehrlich - 2006 - Archive for History of Exact Sciences 60 (1):1-121.details
|
|
Essays on the Theory of Numbers.R. Dedekind - 1903 - The Monist 13:314.details
|
|
Review: Alfred Tarski, What is Elementary Geometry? [REVIEW]John van Heijenoort - 1962 - Journal of Symbolic Logic 27 (1):93-93.details
|
|
Who Gave You the Cauchy–Weierstrass Tale? The Dual History of Rigorous Calculus.Alexandre Borovik & Mikhail G. Katz - 2012 - Foundations of Science 17 (3):245-276.details
|
|
Axiomatizing Changing Conceptions of the Geometric Continuum I: Euclid-Hilbert†.John T. Baldwin - 2018 - Philosophia Mathematica 26 (3):346-374.details
|
|
Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (2):77-94.details
|
|
Geometry, Calculus And Zil'ber's Conjecture, By, Pages 72 -- 83.Ya'acov Peterzil & Sergei Starchenko - 1996 - Bulletin of Symbolic Logic 2 (1):72-83.details
|
|
On the concept of proof in elementary geometry.Pirmin Stekeler-Weithofer - 1992 - In Michael Detlefsen (ed.), Proof and Knowledge in Mathematics. New York: Routledge. pp. 135--157.details
|
|
Geometry, calculus and Zil'ber's conjecture.Ya'acov Peterzil & Sergei Starchenko - 1996 - Bulletin of Symbolic Logic 2 (1):72-83.details
|
|
David Hilbert's lectures on the foundations of geometry 1891–1902. edited by Michael Hallett and Ulrich Majer, David Hilbert's Lectures on the Foundations of Mathematics and Physics, 1891–1933, vol. 1. Springer, Berlin, Heidelberg and New York, 2004, xviii + 661 pp.Jan von Plato - 2006 - Bulletin of Symbolic Logic 12 (3):492-494.details
|
|
Stability theory and algebra.John T. Baldwin - 1979 - Journal of Symbolic Logic 44 (4):599-608.details
|
|
Isomorphism and higher order equivalence.M. Ajtai - 1979 - Annals of Mathematical Logic 16 (3):181.details
|
|