Logic in the 1930s: type theory and model theory

DOI10.2178/bsl.1904010zbMath1326.03006OpenAlexW2121963243MaRDI QIDQ5401630

Erich H. Reck, Georg Schiemer

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

Mathematics Subject Classification ID

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