Definability in self-referential systems

DOI10.1305/NDJFL/1093638022zbMath0672.03034OpenAlexW1973590534MaRDI QIDQ1119575

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)

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