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

Cited In (31)

The Philosophical Impact of the Löwenheim-Skolem Theorem
The diversity of minimal cofinal extensions
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
Leon Henkin the Reviewer
Is Leibnizian calculus embeddable in first order logic?
Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks
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
Set theory and the analyst
Thoralf Skolem in memoriam (1887-1963)
Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond
Realizability with a local operator of A. M. Pitts
ON COHESIVE POWERS OF LINEAR ORDERS
Filter quotients and non-presentable \((\infty,1)\)-toposes
A characterization of multiplier ideals via ultraproducts
A contribution to Gödel's axiomatic set theory, III
Categorical quantification
Title not available (Why is that?)
Iterated ultrapowers for the masses
Polynomial time ultrapowers and the consistency of circuit lower bounds
Congruences in isols with a finite modulus
Stevin numbers and reality
A Cauchy-Dirac delta function
Ten misconceptions from the history of analysis and their debunking
From Dedekind to Zermelo versus Peano to Gödel
Definability, decidability, complexity
An integer construction of infinitesimals: toward a theory of eudoxus hyperreals
The monotonic sequence theorem and measurement of lengths and areas in axiomatic non-standard hyperrational analysis
Randomizing a model
Computable Algebraic Structures and Nonstandard Arithmetic
Truth Definitions and Consistency Proofs

This page was built for publication: Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4757900)