The following pages link to (Q5850527):
Displaying 7 items.
- Leon Henkin the Reviewer (Q3454809) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- EXISTENCE OF MODELING LIMITS FOR SEQUENCES OF SPARSE STRUCTURES (Q5222519) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- Omitting types for finite variable fragments and complete representations of algebras (Q5387302) (← links)
- On the Axiom of Canonicity (Q6107281) (← links)
- Categorical quantification (Q6636686) (← links)