Re: A further question on weak but categorical axiomatisations of the naturals

Aatu Koskensilta schrieb:
On 2008-02-29, in sci.logic, Jan Burse wrote:
Should read: For every A, either T |- A or T |- ~A.

That would make more sense. But why would you think that's what I mean
by "categorical"?

Maybe I was jumping to conclusions:

Los-Vaught Test: If T no finite models and T is k-categorical
for some k, then T is *complete*.

Is this beast still valid?

Best Regards


.