Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics

DOI10.2178/JSL.7803040MaRDI QIDQ2869900zbMATH OpenOpenAlexFDO

Authors Martín Escardo

Publication date 7 January 2014

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.jsl/1389032274, https://semanticscholar.org/paper/33c05f0a8750a8eff65fc38c07671d4ada5ee8ab

zbMATH Keywords

selection functionsconstructive omniscience principles

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30) Metamathematics of constructive systems (03F50) Axiom of choice and related propositions (03E25) Constructive and recursive analysis (03F60) Functionals in proof theory (03F10)

Recommendations

• scientific article; zbMATH DE number 5994597
• Omniscience, sequential compactness, and the anti-Specker property
• Markov's principle, isols and Dedekind finite sets
• Finite sets and infinite sets in weak intuitionistic arithmetic
• Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience

Cites work

• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Constructivism in mathematics. An introduction. Volume I
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
• Dependent Types at Work
• Ishihara's proof technique in constructive analysis

Cited in

(12)

• On Brouwer's continuity principle
• Countable sets versus sets that are countable in reverse mathematics
• On the computability of the fan functional
• Completeness and decidability results for CTL in constructive type theory
• An omniscience principle, the König Lemma and the Hahn‐Banach theorem
• Exploring mathematical objects from custom-tailored mathematical universes
• scientific article; zbMATH DE number 7577585 (Why is no real title available?)
• Omniscience principles and functions of bounded variation
• The intrinsic topology of Martin-Löf universes
• Surveyable sets
• scientific article; zbMATH DE number 7157346 (Why is no real title available?)
• On the Cantor-Bendixson rank of a set that is searchable in Gödel's \(T\)

This page was built for publication: Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics

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