Realizability models refuting Ishihara's boundedness principle
type: Item
instance of: scholarly article
title: Realizability models refuting Ishihara's boundedness principle
zbMATH Open document ID: 1251.03088
author: Peter Lietz
author: Thomas Streicher
published in: Annals of Pure and Applied Logic
publication date: 2012-10-11T00:00:00Z
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 6092964
zbMATH Keywords: constructive analysis
zbMATH Keywords: realizability
zbMATH Keywords: independence proofs
zbMATH Keywords: boundedness principle
zbMATH Keywords: higher-order arithmetic
zbMATH Keywords: intuitionistic set theory
zbMATH Keywords: axiom of choice
zbMATH Keywords: sequential continuity
MaRDI profile type: Publication
full work available at URL: j.apal.2012.04.004
OpenAlex ID: W2046266057
cites work: Two constructive embedding‐extension theorems with applications to continuity principles and to Banach‐Mazur computability
cites work: The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations
cites work: Q3679172
cites work: Strong continuity implies uniform sequential continuity
cites work: Continuity properties in constructive mathematics
cites work: Q2752138
cites work: Categorical logic and type theory
cites work: Q4681810
cites work: Q4934283
cites work: \(\mathbb{T}^\omega\) as a universal domain
cites work: Q5286647
cites work: Constructivism in mathematics. An introduction. Volume I
cites work: Q4215635
cites work: Realizability. An introduction to its categorical side
DOI: 10.1016/J.APAL.2012.04.004
description: scientific article; zbMATH DE number 6092964