Logic in the 1930s: type theory and model theory
From MaRDI portal
Publication:5401630
DOI10.2178/bsl.1904010zbMath1326.03006OpenAlexW2121963243MaRDI QIDQ5401630
Publication date: 10 March 2014
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.bsl/1388953941
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)
Related Items
PROJECTIVE DUALITY AND THE RISE OF MODERN LOGIC, From Dedekind to Zermelo versus Peano to Gödel, INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S GEOMETRY IN THE SENSIBLE WORLD, Frege and the origins of model theory in nineteenth century geometry, Carnap's early metatheory: scope and limits, Submodels in Carnap's early axiomatics revisited, HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY