Bounded modified realizability

Ferreira, Fernando; Nunes, Ana

J. Symbolic Logic, Tome 71 (2006) no. 1, p. 329-346 / Harvested from Project Euclid

Résumé

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önig’s lemma. We discuss some applications, as well as some previous results in the literature.

Publié le : 2006-03-14
Classification: Realizability, bounds, semi-intuitionism, conservativeness, 03F35, 03F50, 03F10, 03F25

@article{1140641178,
     author = {Ferreira, Fernando and Nunes, Ana},
     title = {Bounded modified realizability},
     journal = {J. Symbolic Logic},
     volume = {71},
     number = {1},
     year = {2006},
     pages = { 329-346},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1140641178}
}

Ferreira, Fernando; Nunes, Ana. Bounded modified realizability. J. Symbolic Logic, Tome 71 (2006) no. 1, pp.  329-346. http://gdmltest.u-ga.fr/item/1140641178/