Derived topologies on ordinals and stationary reflection (Q4644955): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1090/tran/7366
@@ Property / full work available at URL: https://doi.org/10.1090/tran/7366 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2753079303
@@ Property / OpenAlex ID: W2753079303 / rank @@
+Normal rank
@@ Property / cites work @@
+STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES
+Normal rank
@@ Property / cites work @@
+Reflection and indescribability in the constructible universe
+Normal rank
@@ Property / cites work @@
+Provability algebras and proof-theoretic ordinals. I
+Normal rank
@@ Property / cites work @@
+Reflection principles and provability algebras in formal arithmetic
+Normal rank
@@ Property / cites work @@
+Kripke semantics for provability logic GLP
@@ Property / cites work: Kripke semantics for provability logic GLP / rank @@
+Normal rank
@@ Property / cites work @@
+Ordinal Completeness of Bimodal Provability Logic GLB
+Normal rank
@@ Property / cites work @@
+A simplified proof of arithmetical completeness theorem for provability logic GLP
+Normal rank
@@ Property / cites work @@
+Q3081639
@@ Property / cites work: Q3081639 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological completeness of the provability logic GLP
+Normal rank
@@ Property / cites work @@
+Topological Interpretations of Provability Logic
@@ Property / cites work: Topological Interpretations of Provability Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On provability logics with linearly ordered modalities
+Normal rank
@@ Property / cites work @@
+Infinitary combinatorics and modal logic
@@ Property / cites work: Infinitary combinatorics and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+SQUARES, SCALES AND STATIONARY REFLECTION
@@ Property / cites work: SQUARES, SCALES AND STATIONARY REFLECTION / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to large cardinals
@@ Property / cites work: Set theory. An introduction to large cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4538741
@@ Property / cites work: Q4538741 / rank @@
+Normal rank
@@ Property / cites work @@
+The polytopologies of transfinite provability logic
+Normal rank
@@ Property / cites work @@
+Models of transfinite provability logic
@@ Property / cites work: Models of transfinite provability logic / rank @@
+Normal rank
@@ Property / cites work @@
+The omega-rule interpretation of transfinite provability logic
+Normal rank
@@ Property / cites work @@
+Well-orders in the transfinite Japaridze algebra
@@ Property / cites work: Well-orders in the transfinite Japaridze algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A Topological Study of the Closed Fragment of GLP
@@ Property / cites work: A Topological Study of the Closed Fragment of GLP / rank @@
+Normal rank
@@ Property / cites work @@
+On strong provability predicates and the associated modal logics
+Normal rank
@@ Property / cites work @@
+Q5202654
@@ Property / cites work: Q5202654 / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Stationary Sets
@@ Property / cites work: Stationary Sets / rank @@
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315890
@@ Property / cites work: Q4315890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5684673
@@ Property / cites work: Q5684673 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflecting stationary sets
@@ Property / cites work: Reflecting stationary sets / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency strength of ``every stationary set reflects''
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4644955