A method of modelling the formalism of set theory in axiomatic set theory

DOI10.2307/2271333zbMath0233.02027OpenAlexW2139724072MaRDI QIDQ5641142

A. H. Kruse

Publication date: 1964

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

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

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30)

Related Items (2)

The spectrum of elementary embeddings \(j: V \to V\) ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS

Cites Work

• The Hypothesis that all Classes are Nameable

This page was built for publication: A method of modelling the formalism of set theory in axiomatic set theory