Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre

DOI10.1007/BF02023020zbMath0533.03008MaRDI QIDQ3315484

Matthias Emil Ragaz

Publication date: 1983

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/138014

zbMATH Keywords

comprehension axiomarithmetical hierarchyRussel paradoxinfinite-valued predicate logic

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Nonclassical and second-order set theories (03E70) Many-valued logic (03B50)

Related Items (1)

UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS

Cites Work

• Unnamed Item
• Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet
• Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik
• On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic.
• The Axiom of Comprehension in Infinite Valued Logic.
• A theorem about infinite-valued sentential logic

This page was built for publication: Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre