From the 1 of 11 linked papers with an AI index.
11 papers
From Shelah's block-content to Hales-Jewett
Mohammad Golshani, Mostafa Mirabi, Saharon Shelah
The paper establishes a quantitative equivalence between Hales‑Jewett numbers and Shelah’s block‑content canonization, showing that block canonization together with the Gallai‑Witt…
Strong Completeness of Provability Logic for Uncountable Languages
Mohammad Golshani, Grigorii Stepanov, Reihane Zoghifard
For an ordinal , we use the ErdÅs--Rado partition theorem to prove the failure of strong completeness of for modal languages of cardinality $(2^{|λ|+\aleph_0}…
Quite free p-groups with trivial duality
Mohsen Asgharzadeh, Mohammad Golshani, Saharon Shelah
We present a class of abelian groups that exhibit a high degree of freeness while possessing no non-trivial homomorphisms to a canonical free object. Unlike prior investigations, w…
Representing the language of a topos as quotient of the category of spans
M. Golshani, A. Shiralinasab Langari
We use quotients of span categories to introduce the language of a topos. We also study the logical relations and the quotients of span categories derived from them. As an applicat…
Naturality and Definability III
Mohsen Asgharzadeh, Mohammad Golshani, Saharon Shelah
In this paper, we deal with the notions of naturality from category theory and definablity from model theory and their interactions. In this regard, we present three results. First…
The proper forcing axiom for -sized posets, -linked symmetrically proper forcing, and the size of the continuum
David Asperó, Mohammad Golshani
We show that the Proper Forcing Axiom for forcing notions of size is consistent with the continuum being arbitrarily large. In fact, assuming holds and $κ\geqÏ_2…