Pages that link to "Item:Q804564"
From MaRDI portal
The following pages link to Provability logics for natural Turing progressions of arithmetical theories (Q804564):
Displaying 14 items.
- Turing-Taylor expansions for arithmetic theories (Q514512) (← links)
- The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic (Q1068069) (← links)
- Independent numerations of theories and recursive progressions (Q1204765) (← links)
- On bimodal logics of provability (Q1332858) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- Iterated local reflection versus iterated consistency (Q1899141) (← links)
- The logic of Turing progressions (Q2176413) (← links)
- A proof theory for the logic of provability in true arithmetic (Q2193977) (← links)
- (Q3177929) (← links)
- (Q3757914) (← links)
- PROVABILITY LOGIC IN THE GENTZEN FORMULATION OF ARITHMETIC (Q4295253) (← links)
- ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR (Q4628679) (← links)
- Relational Semantics for the Turing Schmerl Calculus (Q5224574) (← links)
- Evitable iterates of the consistency operator (Q5880939) (← links)