Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s00591-009-0062-x / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2065437159 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3937387 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3310616 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3679172 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5310875 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The weak König lemma and uniform continuity / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Bizarre Property Equivalent to the -Fan Theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: A fan-theoretic equivalent of the antithesis of Specker's theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: The anti-Specker property, a Heine-Borel property, and uniform continuity / rank
 
Normal rank
Property / cites work
 
Property / cites work: The fan theorem and unique existence of maxima / rank
 
Normal rank
Property / cites work
 
Property / cites work: Brouwer's fan theorem and unique existence in constructive analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Classifying Dini's theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5573965 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3803111 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructive mathematics: a foundation for computable analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Weak Constructive Sequential Compactness Property and the Fan Theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3754620 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A weak countable choice principle / rank
 
Normal rank
Property / cites work
 
Property / cites work: A simple constructive proof of Kronecker's density theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Techniques of constructive analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic and structure / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sequences of real functions on [0,1] in constructive reverse mathematics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3259107 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An omniscience principle, the König Lemma and the Hahn‐Banach theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5718575 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4552740 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compactness under constructive scrutiny / rank
 
Normal rank
Property / cites work
 
Property / cites work: Étude constructive de problèmes de topologie pour les réels irrationnels / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equivalents of the (weak) fan theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: Indecomposability of R and R \   in Constructive Reverse Mathematics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Limited Omniscience and the Bolzano-Weierstrass Principle / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructive irrational space / rank
 
Normal rank
Property / cites work
 
Property / cites work: A course in constructive algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5494237 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Intuitionism As Generalization / rank
 
Normal rank
Property / cites work
 
Property / cites work: The fundamental theorem of algebra: a constructive development without choice. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4552747 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Real numbers and other completions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4939408 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Countable Choice as a Questionable Uniformity Principle / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3367516 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5310890 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unique solutions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4663839 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4220572 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nicht konstruktiv beweisbare Sätze der Analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Eine Ungleichung von van der Corput und Kemperman / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructivism in mathematics. An introduction. Volume II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4499084 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative / rank
 
Normal rank

Latest revision as of 20:01, 2 July 2024

scientific article
Language Label Description Also known as
English
Kronecker's density theorem and irrational numbers in constructive reverse mathematics
scientific article

    Statements

    Kronecker's density theorem and irrational numbers in constructive reverse mathematics (English)
    0 references
    0 references
    0 references
    7 May 2010
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references