[FOM] The liar and the semantics of set theory (expansion)
rupertmccallum at yahoo.com
Wed Oct 2 19:33:02 EDT 2002
My apologies. If kappa is omega-indescribable or even just totally
indescribable, V_kappa is a model for ZFC plus a cardinal which is
infallible about second-order formulae without parameters, but it's not
clear that V_kappa with kappa omega-indescribable is a model for ZFC
plus a cardinal which is infallible about second-order formulae with
parameters. The difficulty is in relativizing all the formulae with
parameters down to the same level at once.
Do you Yahoo!?
New DSL Internet Access from SBC & Yahoo!
More information about the FOM