Some problems of completeness of arithmetic

DOI10.1007/BF00968286zbMath0289.02037MaRDI QIDQ1846862

E. A. Derevyankina

Publication date: 1974

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Connections of number theory and logic (11U99)

Related Items

Theory of proofs (arithmetic and analysis)

Cites Work

• Arithmetization of metamathematics in a general setting
• Transfinite recursive progressions of axiomatic theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item