Related papers: Forking in Short and Tame Abstract Elementary Clas…
We show that various tameness assertions about abstract elementary classes imply the existence of large cardinals under mild cardinal arithmetic assumptions.
The paper is the second of two and shows that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic…
We study representation finite $K$-rational quivers over fields of characteristic $0$ and their indecomposable representations, exploiting that all Brauer obstructions for descent of representations are trivial in this case. Contrasting the…
We work in the context of a complete totally transcendental theory $T = T^{eq}$. We consider the prime model $M_{A}$ over a set $A$. For intermediate sets $B$ with $A\subseteq B \subseteq M_{A}$ which are normal ($Aut(M_{A}/A)$-invariant)…
For a prime number $\ell$ and an extension of number fields $K/F$, we prove new lower bounds on the $\ell$-rank of the ideal class group of $K$ based on prime ramification in $K/F$. Unlike related results from the literature, our bound is…
We prove a theorem claimed in math.CA/0605519 which asserts that if A is a subset of a compact abelian group G with density of a particular (natural, although technical) form then the A(G)-norm (that is the sum of the absolute values of the…
We examine whether it is possible to realize finite groups $G$ as Galois groups of minimally tamely ramified extensions of $\mathbb{Q}$ and also specify both the inertia groups and the further decomposition of the ramified primes.
Let K be a number field and A an abelian variety over K. We are interested in the following conjecture of Morita: if the Mumford-Tate group of A does not contain unipotent Q-rational points then A has potentially good reduction at any…
We introduce and study some variants of a notion of canonical set theoretical truth. By this, we mean truth in a transitive proper class model $M$ of ZFC that is uniquely characterized by some $\in$-formula. We show that there are…
The aim of the paper is to introduce B-extensions which are the most symmetrical finite field extensions (a finite field extension $L/K$ is called a {\it B-extension} if the endomorphism algebra ${\rm End}_K(L)$ is generated by the algebra…
We prove three theorems concerning the Hopf-Galois module structure of fractional ideals in a finite tamely ramified extension of $ p $-adic fields or number fields which is $ H $-Galois for a commutative Hopf algebra $ H $. Firstly, we…
Consider an equidimensional faithful conical action of an algebraic torus $T$ on an affine normal conical variety $X$ over an algebraically closed field of characteristic zero. Then there exists a finite normal subgroup $N$ of $T$ such that…
For a quasi-projective scheme $X$ admitting a smooth compactification over a local field of residue characteristic $p > 0$, we construct a continuous reciprocity homomorphism from a tame class group to the abelian tame etale fundamental…
We characterize nonforking (Morley) sequences in dependent theories in terms of a generalization of Poizat's special sequences and show that average types of Morley sequences are stationary over their domains. We characterize generically…
We study strong types and Galois groups in model theory from a topological and descriptive-set-theoretical point of view, leaning heavily on topological dynamical tools. More precisely, we give an abstract (not model theoretic) treatment of…
As originally proposed, type classes provide overloading and ad-hoc definition, but can still be understood (and implemented) in terms of strictly parametric calculi. This is not true of subsequent extensions of type classes. Functional…
This article investigates congruences of $\mathfrak{p}$-adic representations arising from effective $A$-motives defined over a global function field $K$. We give a criterion for two congruent $\mathfrak{p}$-adic representations coming from…
Fix a positive integer $g$ and rational prime $p$. We prove the existence of a genus $g$ curve $C/\mathbb{Q}$ such that the mod $p$ representation of its Jacobian is tame by imposing conditions on the endomorphism ring. As an application,…
We construct and study fields F with the property that F has infinitely many extensions of some fixed degree, but E*/(E*)^n is finite for every finite extension E of F and every n>0.
We give three counterexamples to the folklore claim that in an arbitrary theory, if a complete type $p$ over a set $B$ does not divide over $C\subseteq B$, then no extension of $p$ to a complete type over $\text{acl}(B)$ divides over $C$.…