Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre

DOI10.1007/BF02023020MaRDI QIDQ3315484zbMATH OpenFDO

Authors 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

arithmetical hierarchycomprehension axiominfinite-valued predicate logicRussel paradox

Mathematics Subject Classification ID

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

Cites work

• A theorem about infinite-valued sentential logic
• Bemerkungen zum Komprehensionsaxiom. Dem Andenken an Heinrich Scholz gewidmet
• Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik
• scientific article; zbMATH DE number 3815606 (Why is no real title available?)
• On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic.
• The Axiom of Comprehension in Infinite Valued Logic.

Cited in

(3)

• scientific article; zbMATH DE number 3917567 (Why is no real title available?)
• UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
• On the local modal product logic: standard completeness and decidability

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3315484)