Related papers: The Diversity of Minimal Cofinal Extensions
We present two different types of models where, for certain singular cardinals lambda of uncountable cofinality, lambda -> (lambda, omega+1)^2, although lambda is not a strong limit cardinal. We announce, here, and will present in a…
We compare two known methods of extending a complex, unital, commutative normed algebra so as to include solutions to sets of monic polynomials over the original algebra. (One of these is a generalisation of a construction from the thesis…
$N=2$ coset models of the type $SU(m+1)/SU(m)\times U(1)$ with nondiagonal modular invariants for both $SU(m+1)$ and $SU(m)$ are considered. Poincar\'e polynomials of the corresponding chiral rings of these algebras are constructed. They…
We prove the following two results. Theorem A: Let alpha be a limit ordinal. Suppose that 2^{|alpha|}<aleph_alpha and 2^{|alpha|^+}<aleph_{|alpha|^+}, whereas aleph_alpha^{|alpha|}>aleph_{|alpha|^+}. Then for all n< omega and for all…
We present a method for constructing countable models of small theories and apply it to prove theorems on the maximal number of countable non-isomorphic models of linearly ordered theories.
We investigate the end extendibility of models of arithmetic with restricted elementarity. By utilizing the restricted ultrapower construction in the second-order context, for each $n\in\mathbb{N}$ and any countable model of…
In this paper we discuss what theory should be identified as the `analytic continuation' with $N \rightarrow -N$ of the ${\cal N}=2$ minimal model with the central charge $\hat{c} = 1 - \frac{2}{N}$. We clarify how the elliptic genus of the…
The possibility of extending operations of topological and semitopological algebras to their Stone-\v{C}ech compactification and factorization of continuous functions through homomorphisms to metrizable algebras are investigated. Most…
We prove in ZFC the existence of a definable, countably saturated elementary extension of the reals. It seems that it has been taken for granted that there is no distinguished, definable nonstandard model of the reals. (This means a…
Our aim is to solve a quite old question on the difference between expandability and compact expandability. Toward this, we further investigate the logic of countable cofinality.
In this paper, we establish some nontrivial and effective upper bounds for the least common multiple of consecutive terms of a finite arithmetic progression. Precisely, we prove that for any two coprime positive integers $a$ and $b$, with…
The Abelian semigroup expansion is a powerful and simple method to derive new Lie algebras from a given one. Recently it was shown that the $S$-expansion of $\mathfrak{so}\left( 3,2\right) $ leads us to the Maxwell algebra $\mathcal{M}$. In…
We introduce the notions of triviality and order-triviality for global invariant types in an arbitrary first-order theory and show that they are well behaved in the NIP context. We show that these two notions agree for invariant global…
The main results of this paper are the construction, both rigourous and intuitive, of "the" intrinsic extension of the set of non negative integers N and the smallest over-field of R set which is continue (according to R.Dedekind). The aim…
It is shown that the $M$-algebra related with the $M$ theory comes in two variants. Besides the standard $M$ algebra based on the real structure, an alternative octonionic formulation can be consistently introduced. This second variant has…
A theory T is tight if different deductively closed extensions of T (in the same language) cannot be bi-interpretable. Many well-studied foundational theories are tight, including PA [Visser2006], ZF, Z2, and KM [enayat2017]. In this…
For a Lie algebra $L$ and a subalgebra $M$ of $L$ we say that a subalgebra $U$ of $L$ is a {\em supplement} to $M$ in $L$ if $L = M + U$. We investigate those Lie algebras all of whose maximal subalgebras have abelian supplements, those…
Suppose $M$ is a complete, non-compact $n$-dimensional Riemannian manifold with locally convex ends and finite volume. We prove that $M$ admits a non-trivial geodesic net with one vertex, at most $(n+2)(n+1)/2$ edges, and total length at…
A subset of a model of ${\sf PA}$ is called neutral if it does not change the $\mathrm{dcl}$ relation. A model with undefinable neutral classes is called neutrally expandable. We study the existence and non-existence of neutral sets in…
We prove that an arbitrary countable dimensional Lie algebra over a field of characteristic $\neq 2$ that is locally of subexponential growth is embeddable in a finitely generated Lie algebra of subexponential growth.