[FOM] An example of an axiomatizable second order theory that is complete but non-categorical?
Aatu Koskensilta
aatu.koskensilta at xortec.fi
Fri May 12 08:02:59 EDT 2006
Call a second order theory T complete if for every A either T |= A or T
|= ~A. A simple cardinality argument shows that there are complete but
non-categorical second order theories, but is there any nice example of
an axiomatizable second order theory that is complete but
non-categorical?
Aatu Koskensilta (aatu.koskensilta at xortec.fi)
"Wovon man nicht sprechen kann, darüber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
More information about the FOM
mailing list