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

Keyphrases

• Cantor Space 50%
• Classical Mathematics 50%
• Constructive Mathematics 100%
• Convergent Sequence 50%
• Infinite Sets 100%
• Lexicographic Order 50%
• Minimalistic 50%
• Natural numbers 50%
• Omniscience 100%
• One-point Compactification 50%
• Simple Types 50%
• Transfinite Induction 50%
• Type Systems 50%
• Well-foundedness 50%

Mathematics

• Cantor Space 50%
• Classical Mathematics 50%
• Constructive Mathematics 100%
• Convergent Sequence 50%
• Foundedness 50%
• Infinite Set 100%
• Infinite Subset 50%
• Lexicographic Order 50%
• Natural Number 50%
• One-Point Compactification 50%
• Transfinite Induction 50%
• Type Systems 50%