Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
From MaRDI portal
Publication:4757900
DOI10.4064/fm-23-1-150-161zbMath0010.04902OpenAlexW878043872MaRDI QIDQ4757900
Publication date: 1934
Published in: Fundamenta Mathematicae (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/212717
Related Items
Is Leibnizian calculus embeddable in first order logic? ⋮ Leon Henkin the Reviewer ⋮ The Philosophical Impact of the Löwenheim-Skolem Theorem ⋮ A contribution to Gödel's axiomatic set theory, II: Basic notions and application of the theory of dyadic rings of the set theoretical type ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus ⋮ Stevin numbers and reality ⋮ Iterated ultrapowers for the masses ⋮ A Cauchy-Dirac delta function ⋮ Ten misconceptions from the history of analysis and their debunking ⋮ Thoralf Skolem in memoriam (1887-1963) ⋮ A characterization of multiplier ideals via ultraproducts ⋮ Set theory and the analyst ⋮ ON COHESIVE POWERS OF LINEAR ORDERS ⋮ From Dedekind to Zermelo versus Peano to Gödel ⋮ Computable Algebraic Structures and Nonstandard Arithmetic ⋮ Unnamed Item ⋮ 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 ⋮ Realizability with a local operator of A. M. Pitts ⋮ Polynomial time ultrapowers and the consistency of circuit lower bounds ⋮ Filter quotients and non-presentable \((\infty,1)\)-toposes ⋮ The monotonic sequence theorem and measurement of lengths and areas in axiomatic non-standard hyperrational analysis ⋮ Definability, decidability, complexity ⋮ Congruences in isols with a finite modulus ⋮ Randomizing a model ⋮ The diversity of minimal cofinal extensions ⋮ Truth Definitions and Consistency Proofs ⋮ A contribution to Gödel's axiomatic set theory, III ⋮ Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks
