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

constructive omniscience principlesselection functions

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) Axiom of choice and related propositions (03E25) Functionals in proof theory (03F10) Metamathematics of constructive systems (03F50) Constructive and recursive analysis (03F60)

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

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

Cited in

(12)

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

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)