Epistemic set theory

DOI10.1305/NDJFL/1093637872zbMath0688.03043OpenAlexW2054131045MaRDI QIDQ1263587

William N. Reinhardt

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/1093637872

zbMATH Keywords

ordinal notationsconstructivityepistemic set theorymodal provability operatornonconstructivityPost-Turing thesistheory of concepts

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Recursive ordinals and ordinal notations (03F15)

This page was built for publication: Epistemic set theory