Separating the fan theorem and its weakenings. II
type: Item
instance of: scholarly article
title: SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II
zbMATH Open document ID: 1480.03030
author: Robert S. Lubarsky
publication date: 2020-01-10T00:00:00Z
Mathematics Subject Classification ID: 03C90
Mathematics Subject Classification ID: 03E70
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 03D80
zbMATH DE Number: 7149976
zbMATH Keywords: fan theorems
zbMATH Keywords: Kripke models
zbMATH Keywords: forcing
zbMATH Keywords: Heyting-valued models
zbMATH Keywords: formal topology
zbMATH Keywords: recursive realizability
MaRDI profile type: MaRDI publication profile
full work available at URL: jsl.2019.1
OpenAlex ID: W4241361262
cites work: Q3679172
cites work: Logical Approaches to Computational Barriers
cites work: A separation result for varieties of Brouwer's fan theorem
cites work: Sequences of real functions on [0,1] in constructive reverse mathematics
cites work: Notions of Cauchyness and metastability
cites work: Q3863865
cites work: Q3050433
cites work: The lack of definable witnesses and provably recursive functions in intuitionistic set theories
cites work: Heyting-valued interpretations for constructive set theory
cites work: A uniformly continuous function on [0,1] that is everywhere different from its infimum
cites work: Independence results around constructive ZF
cites work: Separating the fan theorem and its weakenings. II
cites work: Q3222842
cites work: Realizability and recursive set theory
cites work: Realizability. An introduction to its categorical side
cites work: Constructivism in mathematics. An introduction. Volume II
DOI: 10.1017/JSL.2019.1
published in: Journal of Symbolic Logic
Recommended article: Separating the fan theorem and its weakenings. II
Recommended article: A separation result for varieties of Brouwer's fan theorem
Recommended article: Realizability Models Separating Various Fan Theorems
description: scientific article; zbMATH DE number 7149976