Four studies in metamathematics

DOI10.1007/BF02124629zbMath0313.02028OpenAlexW2018352130MaRDI QIDQ1220068

Stanislaw J. Surma

Publication date: 1968

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02124629

Mathematics Subject Classification ID

General logic (03B99) Axiom of choice and related propositions (03E25) Categoricity and completeness of theories (03C35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algebraic treatment of the methodology of elementary deductive systems
• On the concept of categoricity
• On the metamathematics of algebra
• A generalization of the concept ofω-completeness
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit
• The independence of the axiom of choice from the Boolean prime ideal theorem
• Grundzüge der Systemenkalküls I
• A proof of the completeness theorem of Grödel
• On the categoricity in power of elementary deductive systems and some related problems
• A generalization of the concept of ω-consistency
• On the extending of models (I)

This page was built for publication: Four studies in metamathematics