SELF-REFERENTIAL THEORIES
From MaRDI portal
Publication:5858928
DOI10.1017/jsl.2020.54zbMath1485.03247arXiv2008.11535OpenAlexW3084309606MaRDI QIDQ5858928
Publication date: 15 April 2021
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2008.11535
Recursive ordinals and ordinal notations (03F15) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (2)
Cites Work
- Unnamed Item
- A machine that knows its own code
- Intensional mathematics
- Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
- Ordinal arithmetic and \(\Sigma_1\)-elementarity
- Ungroundedness in Tarskian languages
- After Godel
- Absolute Versions of Incompleteness Theorems
- Elementary patterns of resemblance
This page was built for publication: SELF-REFERENTIAL THEORIES