Related papers: Model Theory for a Compact Cardinal

We consider a cardinal invariant closely related to Hindman's theorem. We prove that this cardinal invariant is small in the iterated Sacks perfect set forcing model, and that its corresponding parametrized diamond principle implies the…

This paper is concerned with extending results from "The Geometry of 1-Based Minimal Types" by Kim and the present author. We work in the more general context of the solution set D of a regular Lascar Strong Type defined over the empty set…

In this paper, we study the stellar structure in terms of alternative theory of gravity specially by f (R;T) gravity theory. Here, we consider the function f (R;T) = R+2VT where R is the Ricci scalar, T is the stress-energy momentum and V…

We investigate the problem of when $\leq\lambda$--support iterations of $<\lambda$--complete notions of forcing preserve $\lambda^+$. We isolate a property -- {\em properness over diamonds} -- that implies $\lambda^+$ is preserved and show…

Classically, any structure for a signature $\Sigma$ may be completed to a model of a desired regular theory $T$ by means of the chase construction or small object argument. Moreover, this exhibits $\mathrm{Mod}(T)$ as weakly reflective in…

We obtain results on the condensation principle called local club condensation. We prove that in extender models an equivalence between the failure of local club condensation and subcompact cardinals holds. This gives a characterization of…

We study the implications of model completeness of a theory for the effectiveness of presentations of models of that theory. It is immediate that for a computable model $\mathcal A$ of a computably enumerable, model complete theory, the…

This paper investigates a spherically symmetric compact relativistic body with isotropic pressure profiles within the framework of general relativity. In order to solve the Einstein's field equations, we have considered the Vaidya-Tikekar…

In this paper we study the lower triangular matrix $\mathbb{K}$-algebra $\Lambda:=\left[\begin{smallmatrix} T & 0 \\ M & U \end{smallmatrix}\right],$ where $U$ and $T$ are basic $\mathbb{K}$-algebras with enough idempotents and $M$ is an…

Local versions of measurability have been around for a long time. Roughly, one splits the notion of $\mu $-completeness into pieces, and asks for a uniform ultrafilter over $\mu $ satisfying just some piece of $\mu $-completeness. Analogue…

We provide two proofs of the compactness theorem for extensions of first-order logic based on team semantics. First, we build upon L\"uck's ultraproduct construction for team semantics and prove a suitable version of {\L}o\'s' Theorem.…

Suppose $\kappa$ is a regular cardinal and $\bar a=\langle \mu_i: i<\kappa \rangle$ is a non-decreasing sequence of regular cardinals. We study the set of possible cofinalities of cuts Pcut$(\bar a)=\{(\lambda_1, \lambda_2):$ for some…

We recently formulated a new large-cardinal axiom of strength intermediate between a totally indescribable cardinal and an $\omega$-Erd\H{o}s cardinal, positing the existence of what we called an "extremely reflective cardinal", and we…

This paper develops a categorical framework to clarify the relationship between the completeness and compactness theorems in classical first-order logic. Rather than claiming that different model constructions yield naturally isomorphic…

Let $V$ be a complete discrete valued ring of mixed characteristic $(0,p)$, $K$ its field of fractions, $k$ its residue field which is supposed to be perfect. Let $X$ be a separated $k$-scheme of finite type and $Y$ be a smooth open of $X$.…

We propose two models for constant density relativistic perfect-fluid spheres supported by thin shell configurations. These models are obtained from the Schwarzschild constant density star solution: the first via the collapse of the…

It is proved to be consistent relative to a measurable cardinal that there is a uniform ultrafilter on the real numbers which is generated by fewer than the maximum possible number of sets. It is also shown to be consistent relative to a…

In the present paper we prove the compactness theorem with respect to partial structures and quasi-truth, using the technique of ultraproducts. Partial structures and quasi-truth are two notions developed within the partial structures…

We show that type I string theory compactified in four dimensions in the presence of constant internal magnetic fields possesses N=1 supersymmetric vacua, in which all Kahler class and complex structure closed string moduli are fixed.…

We discuss the consistency of a recently proposed class of theories described by an arbitrary function of the Ricci scalar, the trace of the energy-momentum tensor and the contraction of the Ricci tensor with the energy-momentum tensor. We…