相关论文: The $\omega$-th inner mantle

Let $\mathcal{C}$ be a finitely bicomplete category and $\mathcal{W}$ a subcategory. We prove that the existence of a model structure on $\mathcal{C}$ with $\mathcal{W}$ as subcategory of weak equivalence is not first order expressible.…

Infinite time Turing machine models with tape length $\alpha$, denoted $T_\alpha$, strengthen the machines of Hamkins and Kidder [HL00] with tape length $\omega$. A new phenomenon is that for some countable ordinals $\alpha$, some cells…

The topological reconstruction problem asks how much information about a topological space can be recovered from its point-complement subspaces. If the whole space can be recovered in this way, it is called reconstructible. Our main result…

We introduce a new logic, called \emph{cluster first-order logic}, a restricted fragment of first-order logic specifically designed to study order invariance. An order-invariant formula is one on a vocabulary that contains an order;…

Let $\Gamma$ be a centerless irreducible higher rank arithmetic lattice in characteristic zero. We prove that if $\Gamma$ is either non-uniform or is uniform of orthogonal type and dimension at least 9, then $\Gamma$ is bi-interpretable…

In the present article we study the following problem. Let G be a linear algebraic group over Q, $\Gamma$ be an arithmetic lattice and H be an observable Q-subgroup. There is a H-invariant measure $\mu_H$ supported on the closed submanifold…

We specify the frontier of decidability for fragments of the first-order theory of ordinal multiplication. We give a NEXPTIME lower bound for the complexity of the existential fragment of $\langle \omega^{\omega^\lambda}; \times, \omega,…

For a branching process in random environment it is assumed that the offspring distribution of the individuals varies in a random fashion, independently from one generation to the other. For the subcritical regime a kind of phase transition…

Given a linear order $\Omega$ its automorphism group $\Aut(\Omega)$ forms a lattice-ordered group via pointwise order. Assuming the continuum to be a regular cardinal, we show that \emph{pathological} and \emph{$\omega$-transitive} (i.e.…

Let f be a unimodal map of the interval with critical point c. If the orbit of c is not dense then most points in lim{[0,1],f} have neighborhoods that are homeomorphic with the product of a Cantor set and an open arc. The points without…

The incomplete statistics for complex systems is characterized by a so called incompleteness parameter $\omega$ which equals unity when information is completely accessible to our treatment. This paper is devoted to the discussion of the…

We propose a general formalism to characterize orientational frustration of smectic liquid crystals in confinement by interpreting the emerging networks of grain boundaries as objects with a topological charge. In a formal idealization,…

We introduce a notion of weak definability of first order structures, show that various classification-theoretic properties are or are not preserved under it, and that the properties which are preserved can also be characterized in terms of…

Modeling a sequence of design steps, or a sequence of parameter settings, yields a sequence of dynamical systems. In many cases, such a sequence is intended to approximate a certain limit case. However, formally defining that limit turns…

We describe the asymptotic behaviour of the minimal heterogeneous $d$-capacity of a small set, which we assume to be a ball for simplicity, in a fixed bounded open set $\Omega\subseteq \mathbb{R}^d$, with $d\geq2$. Two parameters are…

Let $T$ be a (first order complete) dependent theory, ${\mathfrak{C}}$ a $\bar\kappa$-saturated model of $T$ and $G$ a definable subgroup which is abelian. Among subgroups of bounded index which are the union of $<\bar\kappa$ type definable…

The satisfiability problem for First-order Modal Logic (\FOML) is undecidable even for simple fragments like having only unary predicates, two variables etc. Recently a new way to identify decidable fragments of \FOML has been introduced…

We construct a model in which the tree property holds in $\aleph_{\omega + 1}$ and it is destructible under $\text{Col}(\omega, \omega_1)$. On the other hand we discuss some cases in which the tree property is indestructible under small or…

Motivated by the goal to give the simplest possible microscopic foundation for a broad class of topological phases, we study quantum mechanical lattice models where the topology of the lattice is one of the dynamical variables. However, a…

We investigate structural properties of non-sofic groups, assuming that such groups exist. We introduce and study two classes: minimal non-sofic groups and $\omega$-non-sofic groups. For minimal non-sofic groups, we establish strong…