SEPARATING THE FAN THEOREM AND ITS WEAKENINGS

DOI10.1017/jsl.2014.9zbMath1353.03039arXiv1510.02141MaRDI QIDQ2933676

Robert S. Lubarsky, Hannes Diener

Publication date: 5 December 2014

Published in: The Journal of Symbolic Logic, Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1510.02141

zbMATH Keywords

forcing; Kripke models; non-standard models; Heyting-valued models; fan theorems

Mathematics Subject Classification ID

03F60: Constructive and recursive analysis

03B70: Logic in computer science

03F50: Metamathematics of constructive systems

03H05: Nonstandard models in mathematics

03C90: Nonclassical models (Boolean-valued, sheaf, etc.)