The following pages link to On defining well-orderings (Q5552159):
Displaying 8 items.
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- EM constructions for a class of generalized quantifiers (Q1204118) (← links)
- Problems of the theory of models, related to categoricity (Q2551777) (← links)
- On the Failure of the Weak Beth Property (Q4110977) (← links)
- LOGICALITY AND MODEL CLASSES (Q5037517) (← links)
- (Q5223106) (← links)
- Structures elementarily equivalent relative to infinitary languages to models of higher power (Q5643985) (← links)
- LOGIC IN THE <i>TRACTATUS</i> (Q5737959) (← links)
