The logic of correct models
From MaRDI portal
Cites work
- A model of set-theory in which every set of reals is Lebesgue measurable
- A topological completeness theorem for transfinite provability logic
- A topological study of the closed fragment of GLP
- COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES
- Derived topologies on ordinals and stationary reflection
- Generalisations of stationarity, closed and unboundedness, and of Jensen's
- Global neighbourhood completeness of the provability logic \textsf{GLP}
- scientific article; zbMATH DE number 16407 (Why is no real title available?)
- scientific article; zbMATH DE number 3494394 (Why is no real title available?)
- scientific article; zbMATH DE number 4195937 (Why is no real title available?)
- Infinitary combinatorics and modal logic
- Kripke semantics for provability logic GLP
- On strong provability predicates and the associated modal logics
- One hundred and two problems in mathematical logic
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION
- Provability algebras and proof-theoretic ordinals. I
- Provability and interpretability logics with restricted realizations
- Reflection algebras and conservation results for theories of iterated truth
- Reflection and indescribability in the constructible universe
- Set Theory
- Strong completeness of provability logic for ordinal spaces
- The fine structure of the constructible hierarchy
- The omega-rule interpretation of transfinite provability logic
- The polytopologies of transfinite provability logic
- Topological completeness of the provability logic GLP
- Topological interpretations of provability logic
This page was built for publication: The logic of correct models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7295214)
