Bounded modified realizability
2006 ◽
Vol 71
(1)
◽
pp. 329-346
◽
AbstractWe define a notion of realizability, based on a new assignment of formulas, which does not care for precise witnesses of existential statements, but only for bounds for them. The novel form of realizability supports a very general form of the FAN theorem, refutes Markov's principle but meshes well with some classical principles, including the lesser limited principle of omniscience and weak König's lemma. We discuss some applications, as well as some previous results in the literature.
2006 ◽
Vol 47
(2)
◽
pp. 249-252
◽
Keyword(s):
2004 ◽
Vol 69
(4)
◽
pp. 1089-1104
◽
Keyword(s):
2019 ◽
Vol 19
(01)
◽
pp. 1950004
◽
Keyword(s):
Keyword(s):