Showing math.LOShow all
3 papers · 1 filter
math.LO2024
Upward Löwenheim-Skolem-Tarski Numbers for Abstract Logics
Victoria Gitman, Jonathan Osinski
Galeotti, Khomskii and Väänäanen recently introduced the notion of the upward Löwenheim-Skolem-Tarski number for a logic, strengthening the classical notion of a Hanf number. A car…
math.LO2015
Incomparable -like models of set theory
Gunter Fuchs, Victoria Gitman, Joel David Hamkins
We show that the analogues of the Hamkins embedding theorems, proved for the countable models of set theory, do not hold when extended to the uncountable realm of -like models…
math.LO2014
Indestructibility properties of remarkable cardinals
Yong Cheng, Victoria Gitman
Remarkable cardinals were introduced by Schindler, who showed that the existence of a remarkable cardinal is equiconsistent with the assertion that the theory of is…