Kronecker's density theorem and irrational numbers in constructive reverse mathematics
type: Item
instance of: scholarly article
title: Kronecker's density theorem and irrational numbers in constructive reverse mathematics
zbMATH Open document ID: 1280.03059
author: Hajime Ishihara
author: Peter Schuster
published in: Mathematische Semesterberichte
publication date: 2010-05-07T00:00:00Z
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 03B30
Mathematics Subject Classification ID: 11J71
Mathematics Subject Classification ID: 11J72
zbMATH DE Number: 5705431
MaRDI profile type: Publication
full work available at URL: s00591-009-0062-x
OpenAlex ID: W2065437159
cites work: Q3937387
cites work: Q3310616
cites work: Q3679172
cites work: Q5310875
cites work: The weak König lemma and uniform continuity
cites work: A Bizarre Property Equivalent to the -Fan Theorem
cites work: A fan-theoretic equivalent of the antithesis of Specker's theorem
cites work: The anti-Specker property, a Heine-Borel property, and uniform continuity
cites work: The fan theorem and unique existence of maxima
cites work: Brouwer's fan theorem and unique existence in constructive analysis
cites work: Classifying Dini's theorem
cites work: Q5573965
cites work: Q3803111
cites work: Constructive mathematics: a foundation for computable analysis
cites work: A Weak Constructive Sequential Compactness Property and the Fan Theorem
cites work: Q3754620
cites work: A weak countable choice principle
cites work: A simple constructive proof of Kronecker's density theorem
cites work: Techniques of constructive analysis
cites work: Logic and structure
cites work: Sequences of real functions on [0,1] in constructive reverse mathematics
cites work: Q3259107
cites work: An omniscience principle, the König Lemma and the Hahn‐Banach theorem
cites work: Q5718575
cites work: Q4552740
cites work: Compactness under constructive scrutiny
cites work: Étude constructive de problèmes de topologie pour les réels irrationnels
cites work: Equivalents of the (weak) fan theorem
cites work: Indecomposability of R and R \ in Constructive Reverse Mathematics
cites work: Limited Omniscience and the Bolzano-Weierstrass Principle
cites work: Constructive irrational space
cites work: A course in constructive algebra
cites work: Q5494237
cites work: Intuitionism As Generalization
cites work: The fundamental theorem of algebra: a constructive development without choice.
cites work: Q4552747
cites work: Real numbers and other completions
cites work: A Constructive Look at Generalised Cauchy Reals
cites work: Countable Choice as a Questionable Uniformity Principle
cites work: Q3367516
cites work: Q5310890
cites work: Unique solutions
cites work: Q4663839
cites work: Q4220572
cites work: Nicht konstruktiv beweisbare Sätze der Analysis
cites work: Eine Ungleichung von van der Corput und Kemperman
cites work: Constructivism in mathematics. An introduction. Volume II
cites work: Q4499084
cites work: Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
DOI: 10.1007/S00591-009-0062-X
description: scientific article; zbMATH DE number 5705431