The following pages link to Categoricity without equality (Q2773239):
Displaying 4 items.
- Omitting types for infinitary \([0,1]\)-valued logic (Q386155) (← links)
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
- Omitting uncountable types and the strength of \([0,1]\)-valued logics (Q2442152) (← links)
- MAXIMALITY OF LOGIC WITHOUT IDENTITY (Q6123583) (← links)
