Definability in self-referential systems

DOI10.1305/NDJFL/1093638022MaRDI QIDQ1119575zbMATH OpenOpenAlexFDO

Authors J. Zimbarg Sobrinho

Publication date 1988

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093638022

zbMATH Keywords

definabilityHiller's problemself-referential systems

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Other notions of set-theoretic definability (03E47)

Review text

The paper deals with definability in self-referential systems. In particular it provides a solution to Hiller's problem in case T is an extension of the theory \({\mathcal W}+(regularity)\) [see \textit{A. P. Hiller} and the author, J. Symb. Logic 49, 754-773 (1984; Zbl 0596.03058)].

Recommendations

• On the consistency of self-referential systems
• scientific article; zbMATH DE number 4077201
• Uniform self-reference
• Self-reference with negative types
• Self-reference in all its glory

Cited in

(3)

• Logics that define their own semantics
• On the consistency of self-referential systems
• Self-reference and the Languages of Arithmetic

This page was built for publication: Definability in self-referential systems

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