Related papers: Non-tame mice from tame failures of the unique bra…

We show that PFA implies that there is a non-tame mouse.

We develop the theory of meta-iteration trees, that is, iteration trees whose base "model" is itself an ordinary iteration tree. We prove a comparison theorem for meta-iteration strategies parallel to the one for ordinary iteration…

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 numerically solve the Hubbard model on the Bethe lattice with finite coordination number $z=3$, and determine its zero-temperature phase diagram. For this purpose, we introduce and develop the `variational uniform tree state' (VUTS)…

It has hitherto been known that in a transitive unimodular graph, each tree in the wired spanning forest has only one end a.s. We dispense with the assumptions of transitivity and unimodularity, replacing them with a much broader condition…

Let $ a,b \in {\bf Z}^+$, $r=a + b$, and let $T$ be a tree with parts $U = \{u_1,u_2,\dots,u_s\}$ and $V = \{v_1,v_2,\dots,v_t\}$. Let $U_1, \dots ,U_s$ and $V_1, \dots, V_t$ be disjoint sets, such that {$|U_i|=a$ and $|V_j|=b$ for all…

Let $M$ be a fine structural mouse and let $F\in M$ be such that $M\models$``$F$ is a total extender'' and $(M||\mathrm{lh}(F),F)$ is a premouse. We show that it follows that $F\in\mathbb{E}^M$, where $\mathbb{E}^M$ is the extender sequence…

A uniform recursive tree on $n$ vertices is a random tree where each possible $(n-1)!$ labeled recursive rooted tree is selected with equal probability. In this paper we introduce and study weighted trees, a non-uniform recursive tree model…

Let $X$ be a smooth projective variety over a finitely generated field $K$ of characteristic~$0$ and fix an embedding $K \subset \mathbb{C}$. The Mumford--Tate conjecture is a precise way of saying that certain extra structure on the…

This paper deals with the topological entropy for hom Markov shifts $\mathcal{T}_M$ on $d$-tree. If $M$ is a reducible adjacency matrix with $q$ irreducible components $M_1, \cdots, M_q$, we show that $h(\mathcal{T}_{M})=\max_{1\leq i\leq…

In this document we let $U$ be a smooth variety of pure dimension $d$ over a local field $k_v$ with unit ball $\mathcal{O}_v$ and residue field $\mathbb{F}$ of characteristic $p>0$ and we set $n$ to be a positive integer such that $p\nmid…

We investigate Steel's conjecture in 'The Core Model Iterability Problem', that if $W$ and $R$ are $\Omega+1$-iterable, $1$-small weasels, then $W\leq^{*}R$ iff there is a club $C\subset\Omega$ such that for all $\alpha\in C$, if $\alpha$…

In this article we study the (cohomological) Hodge conjecture for singular varieties. We prove the conjecture for simple normal crossing varieties that can be embedded in a family where the Mumford-Tate group remains constant. We show how…

We introduce two models for multi-type random trees motivated by studies of trait dependence in the evolution of species. Our discrete time model, the multi-type ERM tree, is a generalization of Markov propagation models on a random tree…

Considering the wired uniform spanning forest on a nonunimodular transitive graph, we show that almost surely each tree of the wired uniform spanning forest is light. More generally we study the tilted volumes for the trees in the wired…

Let $M$ be a tame mouse modelling ZFC. We show that $M$ satisfies "$V=\mathrm{HOD}_x$ for some real $x$", and that the restriction $\mathbb{E}\upharpoonright[\omega_1^M,\mathrm{OR}^M)$ of the extender sequence $\mathbb{E}^M$ of $M$ to…

We show that the usual Hodge conjecture implies the general Hodge conjecture for certain abelian varieties of type III, and use this to deduce the general Hodge conjecture for all powers of certain 4-dimensional abelian varieties of type…

Our aim is to prove that if T is a complete first order theory, which is not superstable (no knowledge on this notion is required), included in a theory T_1 then for any lambda > |T_1| there are 2^lambda models of T_1 such that for any two…

The Torsion Anomalous Conjecture (TAC) states that a subvariety V of an abelian variety A has only finitely many maximal torsion anomalous subvarieties. In this work we prove, with an effective method, some cases of the TAC when the ambient…

We extend the concept of a Hubbard tree, well established and useful in the theory of polynomial dynamics, to the dynamics of transcendental entire functions. We show that Hubbard trees in the strict traditional sense, as invariant compact…