Source author record

Nam Trang

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

5works

1topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

Determinacy from strong compactness of $ω_1$

In the absence of the Axiom of Choice, the "small" cardinal $ω_1$ can exhibit properties more usually associated with large cardinals, such as strong compactness and supercompactness. For a local version of strong compactness, we say that $ω_1$ is $X$ -strongly compact (where $X$ is any set) if there is a fine, countably complete measure on $\mathcal{P}_{ω_1}(X)$ . Working in $\mathsf{ZF} + \mathsf{DC}$ , we prove that the $\mathcal{P}(ω_1)$ -strong compactness and $\mathcal{P}(\mathbb{R})$ -strong compactness of $ω_1$ are equiconsistent with $\mathsf{AD}$ and $\mathsf{AD}_\mathbb{R} + \mathsf{DC}$ respectively, where $\mathsf{AD}$ denotes the Axiom of Determinacy and $\mathsf{AD}_\mathbb{R}$ denotes the Axiom of Real Determinacy. The $\mathcal{P}(\mathbb{R})$ -supercompactness of $ω_1$ is shown to be slightly stronger than $\mathsf{AD}_\mathbb{R} + \mathsf{DC}$ , but its consistency strength is not computed precisely. An equiconsistency result at the level of $\mathsf{AD}_\mathbb{R}$ without $\mathsf{DC}$ is also obtained.

preprint2016arXiv

PFA and guessing models

This paper explores the consistency strength of The Proper Forcing Axiom ( $\textsf{PFA}$ ) and the theory (T) which involves a variation of the Viale-Wei $ß$ guessing hull principle. We show that (T) is consistent relative to a supercompact cardinal. The main result of the paper implies that the theory " $\sf{AD}$ $_\mathbb{R} + Θ$ is regular" is consistent relative to (T) and to $\textsf{PFA}$ . This improves significantly the previous known best lower-bound for consistency strength for (T) and $\textsf{PFA}$ , which is roughly " $\sf{AD}$ $_\mathbb{R} + \textsf{DC}$ ".

preprint2016arXiv

Scales in hybrid mice over $\mathbb{R}$

We develop a general theory of strategic mice, prove their condensation properties, and analyze the scales pattern in the stack of $Θ$ -g-organized $\mathcal{F}$ -mice over $\mathbb{R}$ , Lp $^{G\mathcal{F}}(\mathbb{R})$ , for a class of nice operators $\mathcal{F}$ .

preprint2013arXiv

Determinacy in L(R,μ)

Assume L(\mathbb{R},μ) satisfies ZF+DC+Θ>ω_2 + μis a normal fine measure on \powerset_{ω_1}(\mathbb{R}). The main result of this paper is the characterization theorem of L(\mathbb{R},μ) which states that L(\mathbb{R},μ) satisfies Θ>ω_2 if and only if L(\mathbb{R},μ) satisfies AD^+. As a result, we obtain the equiconsistency between the two theories: "ZFC + there are ω^2 Woodin cardinals" and "ZF+DC+μis a normal fine measure on \powerset_{ω_1}(\mathbb{R}) + Θ>ω_2".

preprint2013arXiv

HOD in natural models of AD^+

This paper analyzes full HOD of natural models of AD^+ under a certain smallness assumption of the models. This assumption is made to utilize Sargsyan's work on the theory of hod mice. We show that HOD is a fine-structural model and in particular satisfies GCH.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Nam Trang

Research overview

Is this your work?

5 publications

Determinacy from strong compactness of $ω_1$

PFA and guessing models

Scales in hybrid mice over $\mathbb{R}$

Determinacy in L(R,μ)

HOD in natural models of AD^+

See the researcher in context

Building this map preview

Nam Trang

Research overview

Is this your work?

5 publications

Determinacy from strong compactness of ω1ω_1ω1​

PFA and guessing models

Scales in hybrid mice over R\mathbb{R}R

Determinacy in L(R,μ)

HOD in natural models of AD^+

See the researcher in context

Building this map preview

Determinacy from strong compactness of $ω_1$

Scales in hybrid mice over $\mathbb{R}$