Related papers: Analysis of HOD for Admissible Structures

A version of Woodin's HOD dichotomy is proved assuming the existence of just one strongly compact cardinal.

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…

Assume ZF + AD + $V=L(\mathbb{R})$. We prove some "mouse set" theorems, for definability over $J_\alpha(\mathbb{R})$ where $[\alpha,\alpha]$ is a projective-like gap (of $L(\mathbb{R})$) and $\alpha$ is either a successor ordinal or has…

We force the Axiom of Choice over the least initial segment of a Nairian model satisfying ZF. In the forcing extension, square_kappa fails at all uncountable cardinals kappa, and every regular cardinal is omega-strongly measurable in HOD,…

We consider a nearest-neighbor four state hard-core (HC) model on the homogeneous Cayley tree of order $k$. The Hamiltonian of the model is considered on a set of "admissible" configurations. Admissibility is specified through a graph with…

This thesis analyses extenders in fine structural mice. Kunen showed that in the inner model for one measurable cardinal, there is a unique measure. This result is generalized, in various ways, to mice below a superstrong cardinal. The…

It is shown that if there is a measurable cardinal above n Woodin cardinals and M_{n+1}^# doesn't exist then K exists. K is not fully iterable, though, but only iterable with respect to stacks of certain trees living between the Woodin…

Suppose $M$ is a transitive class size model of $AD_{\mathbb{R}}+``\Theta$ is regular". $M$ is a minimal model of $AD_{\mathbb{R}}+``\Theta$ is measurable" if (i) $\mathbb{R}, Ord\subseteq M$ (ii) there is $\mu\in M$ such that $M\models…

Any finite set of linear operators on an algebra $A$ yields an operator algebra $B$ and a module structure on A, whose endomorphism ring is isomorphic to a subring $A^B$ of certain invariant elements of $A$. We show that if $A$ is a…

Let lambda be aleph_0 or a strong limit of cofinality aleph_0. Suppose that (G_m,p_{m,n}:m =< n<omega) and (H_m,p^t_{m,n}: m=< n < omega) are projective systems of groups of cardinality less than lambda and suppose that for every n<omega…

Consider a compact metric space $X$, and let $\mathcal{F}=\{f_1,\,f_2,\ldots,\, f_k\}$ be a set of contracting and continuous self maps on $X$. Let $\Sigma$ be a sub-shift on $k$ symbols, and let $\Sigma_k$ be the full shift. Define…

Let $G$ be a connected complex semisimple Lie group, $\Gamma$ be a cocompact, irreducible and torsionless lattice in $G$ and $K$ be a maximal compact subgroup of $G$. Assume $\Gamma$ acts by left multiplication and $K$ acts by right…

A few steps are made towards representation theory of embeddability among uncountable graphs. A monotone class of graphs is defined by forbidding countable subgraphs, related to the graph's end-structure. Using a combinatorial theorem of…

Let GCH hold and let $j:V\longrightarrow M$ be a definable elementary embedding such that $crit(j)=\kappa$, $^{\kappa}M\subseteq M$ and $\kappa^{++}=\kappa_{M}^{++}$. H. Woodin proved that there is a cofinality preserving generic extension…

For a cardinal $\kappa$, denote by $\mathbf{H}^\kappa$ the algebraic real hyperbolic space of dimension $\kappa$. For a topological group $\Gamma$, we study the set of continuous representations $\Gamma \to…

We study the algebra of conformal endomorphisms $\Cend^{G,G}_n$ of a finitely generated free module $M_n$ over the coordinate Hopf algebra $H$ of a linear algebraic group $G$. It is shown that a conformal subalgebra of $\Cend_n$ acting…

In the 1990s, Steel and Woodin showed that under large cardinal hypotheses, the HOD of $L(\mathbb R)$ admits a fine-structural analysis. Although this theorem sheds light on various problems in descriptive set theory, the fine-structural…

This version is similar to math.CO/0210113. We've changed Conjectures 1.1 and 1.2 so that they cover arbitrary graphs(digraphs). Let G be an arbitrary graph(digraph). Then - in polynomial time - either an algorithm obtains a hamilton…

Hamkins and L\"{o}we asked whether there can be a model $N$ of set theory with the property that $N\equiv N[g]$ whenever $g$ is a generic collapse of a cardinal of $N$ onto $\omega$. We give equiconsistency results for two weaker versions…

In [2] Su Gao proves that the following are equivalent for a countable $M$ (cf. theorem 1.2 too): (I)There is an uncountable model of the Scott sentence of $M$. (II) There exists some $j\in \overline{Aut(M)}\setminus Aut(M)$, where…