Independent Recursive Axiomatizability in Arithmetic

DOI10.2307/2037497zbMath0186.00802OpenAlexW4238984846MaRDI QIDQ5579483

No author found.

Publication date: 1969

Full work available at URL: https://doi.org/10.2307/2037497

zbMATH Keywords

algebraic logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Undecidable theories
• Grundzüge der Systemenkalküls I
• On axiomatizability within a system
• Models of axiomatic systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Independent Recursive Axiomatizability in Arithmetic