Kronecker's density theorem and irrational numbers in constructive reverse mathematics
From MaRDI portal
Publication:969624
DOI10.1007/s00591-009-0062-xzbMath1280.03059MaRDI QIDQ969624
Hajime Ishihara, Peter M. Schuster
Publication date: 7 May 2010
Published in: Mathematische Semesterberichte (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00591-009-0062-x
03F60: Constructive and recursive analysis
03B30: Foundations of classical theories (including reverse mathematics)
11J71: Distribution modulo one
11J72: Irrationality; linear independence over a field
Related Items
Cites Work
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- Equivalents of the (weak) fan theorem
- Techniques of constructive analysis
- Classifying Dini's theorem
- The anti-Specker property, a Heine-Borel property, and uniform continuity
- Sequences of real functions on [0,1 in constructive reverse mathematics]
- Constructive irrational space
- Eine Ungleichung von van der Corput und Kemperman
- Constructivism in mathematics. An introduction. Volume II
- A course in constructive algebra
- Constructive mathematics: a foundation for computable analysis
- A simple constructive proof of Kronecker's density theorem
- A fan-theoretic equivalent of the antithesis of Specker's theorem
- Compactness under constructive scrutiny
- Intuitionism As Generalization
- Unique solutions
- A Bizarre Property Equivalent to the -Fan Theorem
- Indecomposability of R and R \ in Constructive Reverse Mathematics
- The weak König lemma and uniform continuity
- Limited Omniscience and the Bolzano-Weierstrass Principle
- Étude constructive de problèmes de topologie pour les réels irrationnels
- A weak countable choice principle
- Countable Choice as a Questionable Uniformity Principle
- An omniscience principle, the König Lemma and the Hahn‐Banach theorem
- Real numbers and other completions
- Brouwer's fan theorem and unique existence in constructive analysis
- The fan theorem and unique existence of maxima
- A Weak Constructive Sequential Compactness Property and the Fan Theorem
- Nicht konstruktiv beweisbare Sätze der Analysis
- Logic and structure
- The fundamental theorem of algebra: a constructive development without choice.
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
