On the consistency of self-referential systems

DOI10.2307/2274392zbMATH Open0626.03045OpenAlexW2136229449MaRDI QIDQ3029005FDOQ3029005

J. Zimbarg Sobrinho

Publication date: 1987

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

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

zbMATH Keywords

consistencyZFCRamsey cardinalSelf-referential systems

Mathematics Subject Classification ID

Consistency and independence results (03E35) Models of other mathematical theories (03C65)

Cites Work

• Title not available (Why is that?)
• Some applications of model theory in set theory
• Self-reference with negative types

Cited In (3)

• Characterizing Programming Systems Allowing Program Self-reference
• Self-representation in Girard's System U
• Self-monitoring machines and an \(\omega^ \omega\) hierarchy of loops

   Recommendations

• Definability in self-referential systems 👍 👎
• Self-reference with negative types 👍 👎
• Title not available (Why is that?) 👍 👎
• SELF-REFERENTIAL THEORIES 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: On the consistency of self-referential systems

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