Pages that link to "Item:Q5222538"
From MaRDI portal
The following pages link to AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538):
Displaying 12 items.
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) (Q720757) (← links)
- Axiomatizing provable \(n\)-provability (Q1732059) (← links)
- Local reflection, definable elements and 1-provability (Q2204378) (← links)
- A self-contained provability calculus for \(\varGamma_0\) (Q2303588) (← links)
- Axiom Pinpointing in General Tableaux (Q3406682) (← links)
- (Q3744153) (← links)
- (Q4375787) (← links)
- OPTIMAL PROOFS OF DETERMINACY II (Q4799378) (← links)
- MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
- HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
- Absolute Provability and Safe Knowledge of Axioms (Q5221597) (← links)
- ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS (Q6131232) (← links)