Realizability algebras II : new models of ZF + DC

Details Realizability algebras II : new models of ZF + DC Realizability algebras II : new models of ZF + DC

2010-07-06

arxiv.org/abs/1007.0825v4

LMCS 8 (1:10) 2012

Mathematics

Logic

28 p

Scientific paper

10.2168/LMCS-8(1:10)2012

Using the proof-program (Curry-Howard) correspondence, we give a new method
to obtain models of ZF and relative consistency results in set theory. We show
the relative consistency of ZF + DC + there exists a sequence of subsets of R
the cardinals of which are strictly decreasing + other similar properties of R.
These results seem not to have been previously obtained by forcing.

Affiliated with

Also associated with

No associations

Rating

Realizability algebras II : new models of ZF + DC does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Realizability algebras II : new models of ZF + DC, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Realizability algebras II : new models of ZF + DC will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-216337