1 citations · 1 across the 2 of their papers we have counts for
3 papers
math.LO2026
Completeness of the Gödel--Löb Provability Logic for Finite Derived Ordinal Topologies
Mohammad Golshani
We study the Gödel--Löb provability logic for finite derived topologies on the ordinals. Assuming GCH and the existence of a measurable cardinal which carries a c…
math.LO2026★ 1 cited
Forcing with Invariant Measures
Nathanael Ackerman, Cameron Freer, Mohammad Golshani +2
This paper introduces a model-theoretic generalization of the notion of forcing with random reals, in which forcing gives rise to random generic structures. Specifically, we consid…
math.LO2025
On the number of cofinalities of cuts in ultraproducts of linear orders
Mohammad Golshani
Suppose is a regular cardinal and is a non-decreasing sequence of regular cardinals. We study the set of possible cofinalities of cuts Pcut$(\b…