SELF-REFERENTIAL THEORIES

DOI10.1017/jsl.2020.54zbMath1485.03247arXiv2008.11535OpenAlexW3084309606MaRDI QIDQ5858928

Samuel A. Alexander

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

zbMATH Keywords

quantified modal logicstrong mechanistic thesis

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (2)

Strengthening Consistency Results in Modal Logic ⋮ Fast-collapsing theories

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