Self-reference with negative types

DOI10.2307/2274129zbMATH Open0596.03058OpenAlexW2028169184MaRDI QIDQ3727990

A. P. Hiller, J. Zimbarg

Publication date: 1984

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

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

zbMATH Keywords

continuum hypothesisaxiom of choiceaxioms for set theory

Mathematics Subject Classification ID

Large cardinals (03E55) Axiomatics of classical set theory and its fragments (03E30) Axiom of choice and related propositions (03E25)

Cites Work

• Strong axioms of infinity and elementary embeddings

Related Items (1)

On the consistency of self-referential systems

This page was built for publication: Self-reference with negative types

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