Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Gorbow, Paul K."'
Autor:
Gorbow, Paul K.
Publikováno v:
Arch. Math. Logic 59, 517--563 (2020)
A theoretical development is carried to establish fundamental results about rank-initial embeddings and automorphisms of countable non-standard models of set theory, with a keen eye for their sets of fixed points. These results are then combined into
Externí odkaz:
http://arxiv.org/abs/2106.08724
Autor:
Gorbow, Paul K., Leigh, Graham E.
We develop an untyped framework for the multiverse of set theory. $\mathsf{ZF}$ is extended with semantically motivated axioms utilizing the new symbols $\mathsf{Uni}(\mathcal{U})$ and $\mathsf{Mod}(\mathcal{U, \sigma})$, expressing that $\mathcal{U}
Externí odkaz:
http://arxiv.org/abs/2005.11087
Autor:
Gorbow, Paul K.
Publikováno v:
Bull. symb. log 25 (2019) 216-217
This thesis concerns embeddings and self-embeddings of foundational structures in both set theory and category theory. The first part of the work on models of set theory consists in establishing a refined version of Friedman's theorem on the existenc
Externí odkaz:
http://arxiv.org/abs/1806.11310
Autor:
Gorbow, Paul K.
New Foundations ($\mathrm{NF}$) is a set theory obtained from naive set theory by putting a stratification constraint on the comprehension schema; for example, it proves that there is a universal set $V$. $\mathrm{NFU}$ ($\mathrm{NF}$ with atoms) is
Externí odkaz:
http://arxiv.org/abs/1705.05021
Autor:
GORBOW, PAUL K.
Publikováno v:
The Journal of Symbolic Logic, 2019 Jun 01. 84(2), 798-832.
Externí odkaz:
https://www.jstor.org/stable/26788474
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Gorbow, Paul K.
Publikováno v:
Bulletin of Symbolic Logic; Jun2019, Vol. 25 Issue 2, p216-217, 2p