Related papers: The uniqueness of elementary embeddings
We refer to the classic definition of a singularity in Einstein's general relativity (based on geodesic incompletness) as well as to some other criteria to evaluate the nature of singularities in cosmology. We review what different…
The algebra of supernatural matrices is a key example in the theory of locally finite central simple algebras, which studied in a previous paper of the authors (\cite{Local}). It is also a stand-alone object admits a rich study and various…
We study the possible structures which can be carried by sets which have no countable subset, but which fail to be `surjectively Dedekind finite', in two possible senses, that there is a surjection to $\omega$, or alternatively, that there…
Let $\mathcal{S}$ be a small category, and suppose that we are given a full subcategory $\mathcal{U}$ such that every object of $\mathcal{S}$ can be embedded into some object of $\mathcal{U}$ in the same way as every quasi-projective…
We give a variety of uniqueness results for minimal ellipsoids circumscribing and maximal ellipsoids inscribed into a convex body. Uniqueness follows from a convexity or concavity criterion on the function used to measure the size of the…
It is shown that the independence of the continuum hypothesis points to the unique definite status of the set of intermediate cardinality: the intermediate set exists only as a subset of continuum. This latent status is a consequence of…
In this paper we show that the compactness of a Loeb space depends on its cardinality, the nonstandard universe it belongs to and the underlying model of set theory we live in. In section 1 we prove that Loeb spaces are compact under…
I start with a scenario where the universe is an abstract space $\mathcal{M}$ having $d$ dimensions. There is a two dimensional surface embedded in it. Embedding is a map from the embedded surface to $\mathcal{M}$ that has a field theory…
We study several ideal-based constructions in the context of singular stationarity. By combining methods of strong ideals, supercompact embeddings, and Prikry-type posets, we obtain three consistency results concerning mutually stationary…
In this paper, we study embeddings of uniform Roe algebras. Generally speaking, given metric spaces $X$ and $Y$, we are interested in which large scale geometric properties are stable under embedding of the uniform Roe algebra of $X$ into…
We determine the excluded minors characterising the class of countable graphs that embed into some compact surface.
Arrangement theory plays an essential role in the study of the unfolding model used in many fields. This paper describes how arrangement theory can be usefully employed in solving the problems of counting (i) the number of admissible…
The problem of formation of generic structures in the Universe is addressed, whereby first the kinematics of inertial continua for coherent initial data is considered. The generalization to self--gravitating continua is outlined focused on…
In this paper we introduce the notion of elementary numerosity as a special function defined on all subsets of a given set X which takes values in a suitable non-Archimedean field, and satisfies the same formal properties of finite…
The paper puts into discussion the concept of universality, in particular for structures not of the power of Turing computability. The question arises if for such structures a universal structure of the same kind exists or not. For that the…
We give a self-contained introduction to accessible categories and how they shed light on both model- and set-theoretic questions. We survey for example recent developments on the study of presentability ranks, a notion of cardinality…
The gap between classical mechanics and quantum mechanics has an important interpretive implication: the Universe must have an irreducible fundamental level, which determines the properties of matter at higher levels of organization. We…
This the first of a series of articles dealing with abstract classification theory. The apparatus to assign systems of cardinal invariants to models of a first order theory (or determine its impossibility) is developed in [Sh:a]. It is…
Warped embeddings from a lower dimensional Einstein manifold into a higher dimensional one are analyzed. Explicit solutions for the embedding metrics are obtained for all cases of codimension 1 embeddings and some of the codimension n>1…
We study the strength of well-founded ultrafilters on ordinals above choiceless large cardinals and their associated Prikry forcings. Gabriel Goldberg showed that all but boundedly many regular cardinals above a rank Berkeley cardinal carry…