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 11 items.
- Categoricity and generalized model completeness (Q1098836) (← links)
- 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)
- Husserl and Hilbert on Completeness and Husserl's Term Rewrite-based Theory of Multiplicity (Invited Talk) (Q2958371) (← links)
- (Q3059443) (← links)
- Frege, hilbert, and the conceptual structure of model theory (Q4312343) (← 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)
- Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl (Q5126208) (← links)
- WHAT CAN A CATEGORICITY THEOREM TELL US? (Q5402238) (← links)