What people are saying - Write a review
We haven't found any reviews in the usual places.
Fixed point constructions in various theories
Fixed point constructions in numeration theory
Fixed points in provability logic
2 other sections not shown
ADNT applications Arithmetic Completeness theorem arithmetic fixed point arithmetical hierarchy arithmetical interpretation axiom schema C(PRA Calculation theorem 5.3.1 Carlson n-model chapt chapter consistent r.e. extension contraposition Corollary Diagonalisation theorem Double Completeness theorem e.i. r.e. sets Ei-formulas equivalence relation extensional formulas fct.s Fixed Point Calculation fixed point constructions fixed point property Fixed Point theorem formal arithmetic formalised Functorial Fixed Point generalisation GFPT GL(Vi hence induction irreflexive Kripke model KSiWSu(Vi m-complete modal logic modal logic system modal operator model theory Mostowski MRFp natural numbers node partial rec Point Calculation theorem prim provability logic prove r.e. relations r.e. sequence recursion theory recursion-theoretic resp Rosser Rosser's theorem S-m-n theorem sect semantic completeness Semantic Completeness theorem Semi-representability semi-represents sequence of consistent Smorynski Solovay Solovay's subformula tail model theorem for numerations theorem for rec total modulo total rec variables Visser's