Bounded modified realizability

We 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

• Type: Journal
• Year: 2006
• Where: JSYML
• Authors: Fernando Ferreira, Ana Nunes
• Keywords: JSYML 2006, Lesser Limited Principle, Precise Witnesses, Realizability