Die Widerspruchsfreiheit der allgemeinen Mengenlehre

DOI10.1007/BF01594179zbMath0016.19501OpenAlexW2007983321WikidataQ29398457 ScholiaQ29398457MaRDI QIDQ2645585

Wilhelm Ackermann

Publication date: 1937

Published in: Mathematische Annalen (Search for Journal in Brave)

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

zbMATH Keywords

Foundations, philosophy, logic

Related Items (22)

A survey of proof theory ⋮ Graph theory -- a survey on the occasion of the Abel Prize for László Lovász ⋮ Mengentheoretische Begründung der Logik ⋮ Digraph parameters and finite set arithmetic ⋮ Categoricity results for second-order ZF in dependent type theory ⋮ Two-step nilpotent extensions are not anabelian ⋮ Asymptotic Quasi-completeness and ZFC ⋮ The Rado simplicial complex ⋮ On the concept of finitism ⋮ Slim models of Zermelo set theory ⋮ Neostability in countable homogeneous metric spaces ⋮ LOGIC IN THE TRACTATUS ⋮ Unnamed Item ⋮ Finite set theory, number theory and axioms of limitation ⋮ A Groupoid of Isomorphic Data Transformations ⋮ Hereditarily Finite Sets in Constructive Type Theory ⋮ A system of axiomatic set theory - Part VII ⋮ Cichoń's maximum ⋮ Finite mathematics. ⋮ Effective randomness for continuous measures ⋮ Mengentheoretische Begründung der Logik. ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

Cites Work

• The consistency of arithmetics

This page was built for publication: Die Widerspruchsfreiheit der allgemeinen Mengenlehre