Categorical pairs and the indicative shift
From MaRDI portal
Publication:440655
DOI10.1016/j.amc.2012.01.042zbMath1261.18002arXiv1102.2048OpenAlexW2963450714MaRDI QIDQ440655
Publication date: 19 August 2012
Published in: Applied Mathematics and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1102.2048
categoryself-referenceGödel's incompleteness theorem\(2\)-categorycategorical pairindicative shiftLawvere's fixed-point theorem
Philosophical and critical aspects of logic and foundations (03A05) General theory of categories and functors (18A99)
Cites Work