The following pages link to On the proof of Solovay's theorem (Q1176096):
Displaying 18 items.
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Provability and interpretability logics with restricted realizations (Q435232) (← links)
- On the provability logic of bounded arithmetic (Q685071) (← links)
- The analytical completeness of Dzhaparidze's polymodal logics (Q685073) (← links)
- Arithmetic with a local reflection principle for Rosser provability formulas (Q908911) (← links)
- Provability: The emergence of a mathematical modality (Q1176093) (← links)
- Rosser and Mostowski sentences (Q1263586) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- A note on a theorem of Solomon-Tits (Q1813650) (← links)
- Friedman-reflexivity (Q2159935) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- Interpretability suprema in Peano arithmetic (Q2402961) (← links)
- (Q4542339) (← links)
- (Q4822148) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)
- Theory and application of labelling techniques for interpretability logics (Q6094159) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)