相关论文: Some applications of the ultrapower theorem to the…

We consider global analogues of model-theoretic tree properties. The main objects of study are the invariants related to Shelah's tree property $\kappa_{\text{cdt}}(T)$, $\kappa_{\text{sct}}(T)$, and $\kappa_{\text{inp}}(T)$ and the…

Keeping N=1 supersymmetry in 4-dimension and in the leading order, we disuss the various orbifold compactifications of M-theory suggested by Horava and Witten on $T^6/Z_3$, $T^6/Z_6$, $T^6/Z_{12}$, and the compactification by keeping…

We study universal approximation of continuous functionals on compact subsets of products of Hilbert spaces. We prove that any such functional can be uniformly approximated by models that first take finitely many continuous linear…

Given a compact metric space $X$ and a probability measure in the $\sigma-$algebra of Borel subsets of $X$, we will establish a dominated convergence theorem for ultralimits of sequences of integrable maps and apply it to deduce a…

Theorems crucial in elementary real function theory have proofs in which compactness arguments are used. Despite the introduction in relatively recent literature of each new highly elegant compactness argument, or of an equivalent, this…

We construct a family of quasimetric spaces in generalized potential theory containing $m$-subharmonic functions with finite $(p,m)$-energy. These quasimetric spaces will be viewed both in $\mathbb{C}^n$ and in compact K\"ahler manifolds,…

We prove a compactness theorem for full Boolean-valued models. As an application, we show that if $T$ is a complete countable theory and $\mathcal{B}$ is a complete Boolean algebra, then $\lambda^+$-saturated $\mathcal{B}$-valued models of…

We extend P\'olya's indicator diagram theory to encompass entire functions of order at most 1, allowing functions of maximal type. To do so, we introduce an extension of the complex plane in which indicator diagrams may be unbounded or even…

We compute the value of finitary localizing invariants, including algebraic $K$-theory, on categories of sheaves over stably locally compact spaces $X$. Our formula simultaneously generalizes the cases of locally compact Hausdorff and…

Riesz Theorem establishes a correspondence between the set of $\sigma$-additive regular Borel measures and the set of linear positively defined functionals. We consider an idempotent analogue of this correspondence between possibility…

We construct and investigate the properties of tempered ultradistribution spaces in Sobolev spaces. A new Sobolev space preserving the original properties and condition whose derivatives are linear continuous operators embedding in $L^p$…

In this proceeding, the phenomenology of Universal Extra Dimensions (UED), in which all the Standard Model fields propagate, is explored. We focus on models with one universal extra dimension, compactified on an $S_1/Z_2$ orbifold. We…

The paper is devoted to construction of some closed inductive sequence of models of the generalized second-order Dedekind theory of real numbers with exponentially increasing powers. These models are not isomorphic whereas all models of the…

We define a reasonably well-behaved class of ultraimaginaries, i.e.\ classes modulo invariant equivalence relations, called {\em tame}, and establish some basic simplicity-theoretic facts. We also show feeble elimination of supersimple…

Continuous mappings between compact Hausdorff spaces can be studied using homomorphisms between algebraic structures (lattices, Boolean algebras) associated with the spaces. This gives us more tools with which to tackle problems about these…

We present the classical theory of preservation of $\sqsubset$-unbounded families in generic extensions by ccc posets, where $\sqsubset$ is a definable relation of certain type on spaces of real numbers, typically associated with some…

Motivated by the concept of shape invariance in supersymmetric quantum mechanics, we obtain potentials whose spectrum consists of two shifted sets of equally spaced energy levels. These potentials are similar to the Calogero-Sutherland…

Perhaps the greatest challenge for fundamental theories based on compactification from extra dimensions is accommodating a period of accelerated cosmological expansion. Previous studies have identified constraints imposed by the existence…

We discuss some techniques related to equivariant compactifications of uniform spaces and amenability of topological groups. In particular, we give a new proof of a recent result by Glasner and Weiss describing the universal minimal flow of…

Positive logic is a generalisation of full first-order logic that does not have negation built in. Still, many model-theoretic ideas, tools and techniques work perfectly fine in positive logic. Importantly, there is a compactness theorem.…