Realizability models refuting Ishihara's boundedness principle

DOI10.1016/J.APAL.2012.04.004MaRDI QIDQ714714zbMATH OpenOpenAlexFDO

Authors Peter Lietz, Thomas Streicher

Publication date 11 October 2012

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2012.04.004

zbMATH Keywords

realizabilityaxiom of choiceintuitionistic set theoryconstructive analysisboundedness principleindependence proofshigher-order arithmeticsequential continuity

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Constructive and recursive analysis (03F60)

Recommendations

• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• Ishihara's proof technique in constructive analysis
• On choice principles and fan theorems
• Intuitionistic notions of boundedness in ℕ
• A continuity principle, a version of Baire's theorem and a boundedness principle

Cites work

• scientific article; zbMATH DE number 1665440 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 1215498 (Why is no real title available?)
• scientific article; zbMATH DE number 2183393 (Why is no real title available?)
• scientific article; zbMATH DE number 1390018 (Why is no real title available?)
• scientific article; zbMATH DE number 226803 (Why is no real title available?)
• Categorical logic and type theory
• Constructivism in mathematics. An introduction. Volume I
• Continuity properties in constructive mathematics
• Realizability. An introduction to its categorical side
• Strong continuity implies uniform sequential continuity
• The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
• Two constructive embedding‐extension theorems with applications to continuity principles and to Banach‐Mazur computability
• \(\mathbb{T}^\omega\) as a universal domain

Cited in

(8)

• Variations on a theme by Ishihara
• Bishop-Style Constructive Reverse Mathematics
• On Brouwer's continuity principle
• On the failure of BD-ℕ and BD, and an application to the anti-specker property
• Intuitionistic notions of boundedness in ℕ
• Realizability Models Separating Various Fan Theorems
• Principles weaker than BD-N
• A Classical Realizability Model for a Semantical Value Restriction

This page was built for publication: Realizability models refuting Ishihara's boundedness principle

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