Specker sequences revisited

DOI10.1002/MALQ.200410048zbMATH Open1088.03049OpenAlexW2045141709WikidataQ56607503 ScholiaQ56607503MaRDI QIDQ5693602FDOQ5693602

Authors: Jakob Grue Simonsen 

Publication date: 26 September 2005

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200410048

Recommendations

• Intuitionistic sequential compactness?
• The anti-Specker property, positivity, and total boundedness
• scientific article
• A fan-theoretic equivalent of the antithesis of Specker's theorem
• The anti-Specker property, a Heine-Borel property, and uniform continuity
• Decidability and Specker sequences in intuitionistic mathematics
• Constructive reverse investigations into differential equations
• A constructive look at the completeness of the space (ℝ)
• Constructive notions of equicontinuity
• Ishihara's proof technique in constructive analysis

zbMATH Keywords

constructive recursive mathematicsSpecker sequences

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Decidability and Specker sequences in intuitionistic mathematics
• $N$-Sequence RSNS Ambiguity Analysis

This page was built for publication: Specker sequences revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5693602)