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

Cited in

(31)

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

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)