相关论文: Minimal universes

We hope to see how much for a model M of some completion T of PA (Peano Arithmetic) does M restriction {<} determine M, say up to isomorphism. We advance in characterizing for non-standard models M of PA the "minimal" set {(a,b):n < a < b…

We find new "reasons" for a class of models for not having a universal model in a cardinal $\lambda$. This work, though it has consequences in model theory, is really in combinatorial set theory. We concentrate on a prototypical class which…

We define a universe as the contents of a spacetime box with comoving walls, large enough to contain essentially all phenomena that can be conceivably measured. The initial time is taken as the epoch when the lowest CMB modes undergo…

Given a structure $\mathcal{M}$ with a definable topology, its open core is a structure defined on the same universe whose language consists of all open sets of all arities definable in $\mathcal{M}$. In response to questions raised by…

Let $S$ be a finite set, $s=|S|\ge6$. Given a non-negative integer $t$, there exists an inclusion-minimal non-Bondy system $\mathscr{A}$ of size $t$ on $S$ if and only if $s+1\le t\le2s$.

We consider ideals arising in the context of conditional independence models that generalize the class of ideals considered by Fink [7] in a way distinct from the generalizations of Herzog-Hibi-Hreinsdottir-Kahle-Rauh [13] and Ay-Rauh [1].…

In this paper we consider nonmeasurablity with respect to sigma-ideals defined be trees. First classical example of such ideal is Marczewski ideal s_0. We will consider also ideal l_0 defined by Laver trees and m_0 defined by Miller trees.…

Much of the theory of large cardinals beyond a measurable cardinal concerns the structure of elementary embeddings of the universe of sets into inner models. This paper seeks to answer the question of whether the inner model uniquely…

All matrices we consider have entries in a fixed algebraically closed field $K$. A minor of a square matrix is principal means it is defined by the same row and column indices. We study the ideal generated by size $t$ principal minors of a…

We prove the existence of global minimal models for rational morphisms $\phi:{\mathbb P}^N\rightarrow{\mathbb P}^N$ of projective space defined over the field of fractions of a principal ideal domain.

A universal Turing machine is a powerful concept - a single device can compute any function that is computable. A universal spin model, similarly, is a class of physical systems whose low energy behavior simulates that of any spin system.…

This article is Part I in a series of three papers devoted to determining the minimal complexity of scales in the inner model $K(\mathbb{R})$. Here, in Part I, we shall complete our development of a fine structure theory for $K(\mathbb{R})$…

We show that there is a low T-upper bound for the class of K-trivial sets, namely those which are weak from the point of view of algorithmic randomness. This result is a special case of a more general characterization of ideals in the…

We prove that any definable family of subsets of a definable infinite set $A$ in an o-minimal structure has cardinality at most $|A|$. We derive some consequences in terms of counting definable types and existence of definable topological…

We describe the non-minimal Standard Model, consisting of minimalistic extensions of the Standard Model, which for all we know is the theory of the universe, able to describe all of the universe from the beginning of time. Extensions…

The group configuration in o-minimal structures gives rise, just like in the stable case, to a transitive action of a type-definable group on a partial type. Because $acl=dcl$ the o-minimal proof is significantly simpler than Hrushovski's…

We prove the removable singularity theorem for nonlocal minimal graphs. Specifically, we show that any nonlocal minimal graph in $\Omega \setminus K$, where $\Omega \subset \mathbb{R}^n$ is an open set and $K \subset \Omega$ is a compact…

This paper is concerned with a class K of models and an abstract notion of submodel <=. Experience in first order model theory has shown the desirability of finding a `monster model' to serve as a universal domain for K. In the original…

We shall present a model of the "cyclic universe" that can be constructed only by assuming a minimal set of properties of string theory. We clarify our viewpoint of the cyclic universe and show some attempts to mateliarize the idea as field…

We study the properties of the constructible universe, L, over intuitionistic theories. We give an extended set of fundamental operations which is sufficient to generate the universe over Intuitionistic Kripke-Platek set theory without…