[FOM] The liar and the semantics of set theory (expansion)

[Rupert McCallum]

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!
http://sbc.yahoo.com