Unabhängigkeitsbeweise in Mengenlehre und Stufenlogik der Modelle. (Independence proofs in set theory and type logic of models)

MaRDI QIDQ2547552zbMATH OpenFDO

Authors Gisbert Hasenjaeger

Publication date 1961

Published in Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Consistency and independence results (03E35)

Cited in

(1)

• On the strength of several versions of Dirichlet's (“pigeon-hole”-)principle in the sense of first-order logic

This page was built for publication: Unabhängigkeitsbeweise in Mengenlehre und Stufenlogik der Modelle. (Independence proofs in set theory and type logic of models)

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