On the consistency of self-referential systems

DOI10.2307/2274392MaRDI QIDQ3029005zbMATH OpenOpenAlexFDO

Authors 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

consistencyRamsey cardinalSelf-referential systemsZFC

Mathematics Subject Classification ID

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

Recommendations

• Definability in self-referential systems
• Self-reference with negative types
• scientific article; zbMATH DE number 4077201
• Self-referential theories
• scientific article; zbMATH DE number 4081552

Cites work

• scientific article; zbMATH DE number 3861143 (Why is no real title available?)
• Self-reference with negative types
• Some applications of model theory in set theory

Cited in

(6)

• Definability in self-referential systems
• Self-monitoring machines and an \(\omega^ \omega\) hierarchy of loops
• Self-representation in Girard's System U
• Self-reference with negative types
• scientific article; zbMATH DE number 4077201 (Why is no real title available?)
• Characterizing Programming Systems Allowing Program Self-reference

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)