Pages that link to "Item:Q4757900"
From MaRDI portal
The following pages link to Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen (Q4757900):
Displayed 30 items.
- Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus (Q351452) (← links)
- Stevin numbers and reality (Q351454) (← links)
- A Cauchy-Dirac delta function (Q360434) (← links)
- Ten misconceptions from the history of analysis and their debunking (Q360440) (← links)
- Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond (Q486948) (← links)
- An integer construction of infinitesimals: toward a theory of eudoxus hyperreals (Q691131) (← links)
- Congruences in isols with a finite modulus (Q770287) (← links)
- Thoralf Skolem in memoriam (1887-1963) (Q1131356) (← links)
- Randomizing a model (Q1288257) (← links)
- Is Leibnizian calculus embeddable in first order logic? (Q1616106) (← links)
- Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics (Q1654210) (← links)
- Iterated ultrapowers for the masses (Q1661675) (← links)
- From Dedekind to Zermelo versus Peano to Gödel (Q1694959) (← links)
- Definability, decidability, complexity (Q1817073) (← links)
- Filter quotients and non-presentable \((\infty,1)\)-toposes (Q2040521) (← links)
- The diversity of minimal cofinal extensions (Q2108579) (← links)
- Realizability with a local operator of A. M. Pitts (Q2253188) (← links)
- Polynomial time ultrapowers and the consistency of circuit lower bounds (Q2288334) (← links)
- The monotonic sequence theorem and measurement of lengths and areas in axiomatic non-standard hyperrational analysis (Q2306310) (← links)
- Set theory and the analyst (Q2419681) (← links)
- The Philosophical Impact of the Löwenheim-Skolem Theorem (Q2908779) (← links)
- 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 (Q3272472) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- (Q3661519) (← links)
- Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks (Q5030479) (← links)
- Computable Algebraic Structures and Nonstandard Arithmetic (Q5566510) (← links)
- A contribution to Gödel's axiomatic set theory, III (Q5720196) (← links)
- Truth Definitions and Consistency Proofs (Q5812184) (← links)
- A characterization of multiplier ideals via ultraproducts (Q6050200) (← links)
- ON COHESIVE POWERS OF LINEAR ORDERS (Q6095969) (← links)