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

DOI10.2178/JSL.7803040zbMATH Open1308.03060OpenAlexW2049268966MaRDI QIDQ2869900FDOQ2869900

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

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

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)

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Dependent Types at Work
• Title not available (Why is that?)
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
• Ishihara's proof technique in constructive analysis

Cited In (12)

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

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)