Related papers: Analysis of HOD for Admissible Structures
We are given a finite group $H$, an automorphism $\tau$ of $H$ of order $r$, a Galois extension $L/K$ of fields of characteristic zero with cyclic Galois group $\langle\sigma\rangle$ of order $r$, and an absolutely irreducible…
Let $L$ be a finite dimensional Lie algebra over a field of characteristic $0$. Then by the original Levi theorem, $L = B \oplus R$ where $R$ is the solvable radical and $B$ is some maximal semisimple subalgebra. We prove that if $L$ is an…
We give a development of the fine structure of mice with long extenders, to the level of $\kappa^+$-supercompact cardinals $\kappa$. We do this using a hierarchy with features more analogous to those familiar in the short extender context…
Let $\Gamma \subset \operatorname{PU}(1,n)$ be a lattice, and $S_\Gamma$ the associated ball quotient. We prove that, if $S_\Gamma$ contains infinitely many maximal totally geodesic subvarieties, then $\Gamma$ is arithmetic. We also prove…
We investigate approximation guarantees provided by logistic regression for the fundamental problem of agnostic learning of homogeneous halfspaces. Previously, for a certain broad class of "well-behaved" distributions on the examples,…
This paper presents a study of operational and type-theoretic properties of different resolution strategies in Horn clause logic. We distinguish four different kinds of resolution: resolution by unification (SLD-resolution), resolution by…
Starting with two supercompact cardinals we produce a generic extension of the universe in which a principle that we call ${\rm GM}^+(\omega_3,\omega_1)$ holds. This principle implies ${\rm ISP}(\omega_2)$ and ${\rm ISP}(\omega_3)$, and…
In this paper we consider the existence of Hamilton cycles in the random graph $G=G_{n,m}^{\delta\geq 3}$. This a random graph chosen uniformly from the set of graphs with vertex set $[n]$, $m$ edges and minimum degree at least 3. Our…
Solvable Hamiltonians for the $\beta$ and $\gamma$ intrinsic shape coordinates are proposed. The eigenfunctions of the $\gamma$ Hamiltonian are spheroidal periodic functions, while the Hamiltonian for the $\beta$ degree of freedom involves…
A very particular by-product of the result announced in the title reads as follows: Let $(X,<\cdot,\cdot>)$ be a real Hilbert space, $T:X\to X$ a compact and symmetric linear operator, and $z\in X$ such that the equation $T(x)-\|T\|x=z$ has…
Let $\mathbf{K}$ be the class of countable structures $M$ with the strong small index property and locally finite algebraicity, and $\mathbf{K}_*$ the class of $M \in \mathbf{K}$ such that $acl_M(\{ a \}) = \{ a \}$ for every $a \in M$. For…
The {\it {gauge - fixing} } and {\it gaugeless } methods for reducing the phase space in the generalized Hamiltonian dynamics are compared with the aim to define the class of admissible gauges . In the gaugeless approach, the reduced phase…
The space of deformations of the integer Heisenberg group under the action of $\textrm{Aut}(H(\mathbb{R}))$ is a homogeneous space for a non-reductive group. We analyze its structure as a measurable dynamical system and obtain mean and…
We consider the decidability of state-to-state reachability in linear time-invariant control systems over continuous time. We analyse this problem with respect to the allowable control sets, which are assumed to be the image under a linear…
Let $\mathcal{L}$ be a first-order two-sorted language. Let $S$ be some fixed structure. A standard structure is an $\mathcal{L}$-structure of the form $(M,S)$, where $M$ is arbitrary. When $S$ is a compact topological space (and…
Admissible strategies, i.e. those that are not dominated by any other strategy, are a typical rationality notion in game theory. In many classes of games this is justified by results showing that any strategy is admissible or dominated by…
An algebra A with a generalized H-action is a generalization of an H-module algebra where H is just an associative algebra with 1 and a relaxed compatibility condition between the multiplication in A and the H-action on A holds. At first…
Both cellular automata (CA) and lattice-gas automata (LG) provide finite algorithmic presentations for certain classes of infinite dynamical systems studied by symbolic dynamics; it is customary to use the term `cellular automaton' or…
The Hanoi Omega-Automata (HOA) format has established itself as the definitive standard for encoding $\omega$-regular automata in modern synthesis tools. While HOA is widely adopted due to its succinct symbolic representation, using Boolean…
We establish natural criteria under which normally iterable premice are iterable for stacks of normal trees. Let $\Omega$ be a regular uncountable cardinal. Let $m<\omega$ and $M$ be an $m$-sound premouse and $\Sigma$ be an…