On the consistency of self-referential systems

DOI10.2307/2274392zbMATH Open0626.03045OpenAlexW2136229449MaRDI QIDQ3029005FDOQ3029005

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

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

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 (6)

• Self-reference with negative types
• Characterizing Programming Systems Allowing Program Self-reference
• Title not available (Why is that?)
• Definability in self-referential systems
• Self-representation in Girard's System U
• Self-monitoring machines and an \(\omega^ \omega\) hierarchy of loops

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)