The consistency of the ramified principia.

DOI10.2307/2267777MaRDI QIDQ2598596zbMATH OpenOpenAlexFDO

Authors Frederic B. Fitch

Publication date 1938

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2267777

Review text

Es wird ein (nicht finiter) Widerspruchsfreiheitsbeweis für das logische System gegeben, das aus der verzweigten Typentheorie von \textit{Whitehead} und \textit{Russell} entsteht, wenn das Axiom der Reduzibilität fortgelassen und die Axiome der Auswahl und der Existenz einer unendlichen Menge hinzugefügt werden.

Cited in

(1)

• An Introduction to Lorenzen's ‘Algebraic and Logistic Investigations on Free Lattices’ (1951)

This page was built for publication: The consistency of the ramified principia.

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