FOM: aksiom of constructibility
kanovei at wmwap1.math.uni-wuppertal.de
Sun Feb 13 12:49:54 EST 2000
A typical objection against V=L is that it restricts
the multitude of sets.
If one draws a parallel with standard/nonstandard
mathematics, then the same argument will work against
the "standard" model of PA and in favour of a suitable
choice of a nonstandard model
(say, recursively saturated) as the base for arithmetic,
which indeed does not happen.
Still there is an interesting fom-like question related
QUESTION: is there any mathematically meaningful statement
about projective sets
(in particular different from consistency of something)
which V=L does not decide ?
More information about the FOM