The polytopologies of transfinite provability logic
type: Item
instance of: scholarly article
title: The polytopologies of transfinite provability logic
zbMATH Open document ID: 1352.03071
author: David Fernández-Duque
published in: Archive for Mathematical Logic
publication date: 2014-05-12T00:00:00Z
full work available at URL: https://arxiv.org/abs/1207.6595
Mathematics Subject Classification ID: 03F45
Mathematics Subject Classification ID: 54G12
zbMATH DE Number: 6294145
zbMATH Keywords: provability logic
zbMATH Keywords: topological semantics
zbMATH Keywords: scattered spaces
zbMATH Keywords: ordinal topology
MaRDI profile type: Publication
OpenAlex ID: W2008207340
Wikidata QID: Q58883286
arXiv ID: 1207.6595
cites work: Q3973061
cites work: Reflection and indescribability in the constructible universe
cites work: Provability algebras and proof-theoretic ordinals. I
cites work: Kripke semantics for provability logic GLP
cites work: Ordinal Completeness of Bimodal Provability Logic GLB
cites work: Q3081639
cites work: On provability logics with linearly ordered modalities
cites work: Topological Interpretations of Provability Logic
cites work: Topological completeness of the provability logic GLP
cites work: Some results on modal axiomatization and definability for topological spaces
cites work: Scattered and hereditarily irresolvable spaces in modal logic
cites work: Infinitary combinatorics and modal logic
cites work: Models of transfinite provability logic
cites work: Well-orders in the transfinite Japaridze algebra
cites work: Hyperations, Veblen progressions and transfinite iteration of ordinal functions
cites work: A Topological Study of the Closed Fragment of GLP
cites work: Provability and interpretability logics with restricted realizations
cites work: On strong provability predicates and the associated modal logics
cites work: Q5202654
cites work: Proof theory. The first step into impredicativity
cites work: Q4068699
cites work: Provability interpretations of modal logic
DOI: 10.1007/S00153-014-0371-1
description: scientific article