Pages that link to "Item:Q4373014"
From MaRDI portal
The following pages link to Completeness and categoricity: Frege, gödel and model theory (Q4373014):
Displaying 6 items.
- Axiomatizations of arithmetic and the first-order/second-order divide (Q2053347) (← links)
- On representations of intended structures in foundational theories (Q2121479) (← links)
- On certain axiomatizations of arithmetic of natural and integer numbers (Q2306641) (← links)
- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic (Q4706120) (← links)
- Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics (Q4706123) (← links)
- WHAT CAN A CATEGORICITY THEOREM TELL US? (Q5402238) (← links)
