Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Victoria Gitman"'
Publikováno v:
Fundamenta Mathematicae. 254:133-154
We show that Kelley-Morse set theory does not prove the class Fodor principle, the assertion that every regressive class function $F:S\to\text{Ord}$ defined on a stationary class $S$ is constant on a stationary subclass. Indeed, it is relatively cons
Publikováno v:
Fundamenta Mathematicae. 255:231-254
Publikováno v:
Fundamenta Mathematicae. 248:1-32
Smallish large cardinals $\kappa$ are often characterized by the existence of a collection of filters on $\kappa$, each of which is an ultrafilter on the subsets of $\kappa$ of some transitive $\mathrm{ZFC}^-$-model of size $ \kappa$. We introduce a
Autor:
Victoria Gitman, Thomas A. Johnstone
Publikováno v:
Annals of Pure and Applied Logic. 173:103106
Publikováno v:
The Journal of Symbolic Logic
The class forcing theorem, which asserts that every class forcing notion $\mathbb{P}$ admits a forcing relation $\Vdash_{\mathbb{P}}$, that is, a relation satisfying the forcing relation recursion -- it follows that statements true in the correspondi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3b2aaaa863d15b46b010e7c72f48408a
http://hdl.handle.net/11390/1206880
http://hdl.handle.net/11390/1206880
Autor:
Victoria Gitman, Ralf Schindler
Publikováno v:
Annals of Pure and Applied Logic. 169:1317-1334
We introduce the concept of virtual large cardinals and apply it to obtain a hierarchy of new large cardinal notions between ineffable cardinals and 0 # . Given a large cardinal notion A characterized by the existence of elementary embeddings j : V
Autor:
Victoria Gitman, Joel David Hamkins
Publikováno v:
Archive for Mathematical Logic. 58:245-265
The generic Vopěnka principle, we prove, is relatively consistent with the ordinals being non-Mahlo. Similarly, the generic Vopěnka scheme is relatively consistent with the ordinals being definably non-Mahlo. Indeed, the generic Vopěnka scheme is
Publikováno v:
Annals of Pure and Applied Logic. 172:102960
Hellsten [17] proved that when κ is Π n 1 -indescribable, the n-club subsets of κ provide a filter base for the Π n 1 -indescribability ideal, and hence can also be used to give a characterization of Π n 1 -indescribable sets which resembles the
Publikováno v:
Mathematical Logic Quarterly. 63:66-76
We show that the analogues of the Hamkins embedding theo- rems (Ham13), proved for the countable models of set theory, do not hold when extended to the uncountable realm of !1-like models of set theory. Specifically, under the } hypothesis and suitab
Autor:
Victoria Gitman, Joel Hamkins
Publikováno v:
Foundations of Mathematics. :121-143