相关论文: Minimal types in super-dependent theories

A group is said to be stable if it is isomorphic to its automorphism group. We investigate how we can extend centerless groups to construct finite stable groups with nontrivial centers. To this end, we classify all finite stable groups…

For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such…

We prove an analog of the Szemer\'edi-Trotter theorem in the plane for definable curves and points in any o-minimal structure over an arbitrary real closed field $\mathrm{R}$. One new ingredient in the proof is an extension of the well…

We define a family of string equations with perturbative expansions that admit an interpretation as an unoriented minimal string theory with background D-branes and R-R fluxes. The theory also has a well-defined non-perturbative sector and…

In this paper we present a classification of possible dynamics of closed string moduli within specific toroidal compactifications of Type II string theories due to the NS-NS tadpole terms in the reduced action. They appear as potential…

It is well known that ordered exponential fields with a compatible non-trivial valuation cannot be spherically complete, but there are some that are ``complete enough''. This paper gives analogues of Kaplansky's theorem on maximally valued…

This paper provides a full characterization for when the expansion of a complete o-minimal theory by a unary predicate that picks out a divisible dense and codense subgroup has a model companion. This result is motivated by criteria and…

We are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that every definable subset in the…

We show the theory of pointed $\R$-trees with radius at most $r$ is axiomatizable in a suitable continuous signature. We identify the model companion $\rbRT_r$ of this theory and study its properties. In particular, the model companion is…

We consider the construction of a general tree level amplitude for the interactions between dynamical D-branes where the configurations have non-zero odd spin structure. Using Riemann Theta Identities we map the conditions for the…

This paper develops a process-based account of scientific explanation that reconceives grounding in terms of stabilisation. Grounding theories capture hierarchical dependence but lack criteria for when explanations remain adequate under…

We consider stable minimal surfaces of genus 1 in Euclidean space and in Riemannian manifolds. Under the condition of covering stability (all finite covers are stable) we show that a genus 1 finite total curvature minimal surface in…

We prove that a (branched) minimal immersion from $\mathbb{C}$ to $\mathbb{R}^n$ is stable if and only if it lives in an even dimensional affine subspace and is holomorphic for some orthogonal complex structure on the subspace. More…

For an $\omega$-categorical theory $T$ and model $\mathcal{M}$ of $T$ we define a hierarchy of ranks, the $n$-ranks for $n < \omega$ which only care about imaginary elements ``up to level $n$'', where level $n$ contains every element of $M$…

We give an indication that gravity coupled to an infinite number of fields might be a renormalizable theory. A toy model with an infinite number of interacting fermions in four-dimentional space-time is analyzed. The model is finite at any…

Localization properties of fields in compact extra dimensions are crucial ingredients for string model building, particularly in the framework of orbifold compactifications. Realistic models often require a slight deviation from the…

Small-world networks are highly clustered networks with small distances among the nodes. There are many biological neural networks that present this kind of connections. There are no special weightings in the connections of most existing…

We construct groundstates of the string with non-zero mass gap and non-trivial chromo-magnetic fields as well as curvature. The exact spectrum as function of the chromo-magnetic fields and curvature is derived. We examine the behavior of…

Let $\mathbb{M}$ be the monster model of a complete first-order theory $T$. If $\mathbb{D}$ is a subset of $\mathbb{M}$, following D. Zambella we consider $e(\mathbb{D})=\{\mathbb{D}^\prime\mid (\mathbb{M},\mathbb{D})\equiv…

We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally…