research
Realizability algebras III : some examples
Abstract
30 pagesInternational audienceWe use the technique of "classical realizability" to build new models of ZF + DC in which R is not well ordered. This gives also a new method to get programs from proofs of arithmetical formulas with DCSimilar works
This paper was published in Hal-Diderot.
Having an issue?
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.