Completeness Of The Godel Lob Provability Logic For The Filter Sequence Of Normal Measures
Work
Year: 2023
Type: article
Abstract: Assuming the existence of suitable large cardinals, we show it is consistent that the Provability logic $\mathbf {GL}$ is complete with respect to the filter sequence of normal measures. This result ... more
Source: Journal of Symbolic Logic
Authors Mohammad Golshani, Reihane Zoghifard
Cites: 14
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: green