Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen

DOI10.4064/fm-23-1-150-161zbMath0010.04902MaRDI QIDQ4757900

Th. Skolem

Publication date: 1934

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/212717

zbMATH Keywords

foundations, philosophy, logic

Related Items

Unnamed Item, Computable Algebraic Structures and Nonstandard Arithmetic, Truth Definitions and Consistency Proofs, Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus, Stevin numbers and reality, A Cauchy-Dirac delta function, Ten misconceptions from the history of analysis and their debunking, Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond, An integer construction of infinitesimals: toward a theory of eudoxus hyperreals, Congruences in isols with a finite modulus, Thoralf Skolem in memoriam (1887-1963), Randomizing a model, Is Leibnizian calculus embeddable in first order logic?, Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics, Iterated ultrapowers for the masses, From Dedekind to Zermelo versus Peano to Gödel, Definability, decidability, complexity, Realizability with a local operator of A. M. Pitts, Set theory and the analyst, The Philosophical Impact of the Löwenheim-Skolem Theorem, Unnamed Item, Leon Henkin the Reviewer, Unnamed Item