Related papers: kappa-bounded Exponential-Logarithmic Power Series…
We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem: Suppose $\kappa$ is a singular strong limit cardinal and…
The theory of formal power series and derivation is developed from the point of view of the power matrix. A Loewner equation for formal power series is introduced. We then show that the matrix exponential is surjective onto the group of…
We extend A. Miller's framework of $\alpha$-forcing to the case of a regular uncountable cardinal $\kappa = \kappa^{<\kappa}$ and apply it to study the structure of the $\kappa$-Borel hierarchy on subspaces of the generalized Baire space…
Identifying the algebra of exponential generating series with the shuffle algebra of formal power series, one can define an exponential map ${\mathop{exp}}_!:X\mathbb K[[X]]\longrightarrow 1+X\mathbb K[[X]]$ for the associated Lie group…
Over the last two decades, it has been argued that the Lorentz transformation mechanism, which imposes the generalization of Newton's classical mechanics into Einstein's special relativity, implies a generalization, or deformation, of the…
The paper settles the problem of the consistency of the existence of a single universal graph between a strong limit singular and its power. Assuming that in a model of $\mathbf{GCH}$ $\kappa$ is supercompact and the cardinals $\theta <…
Assuming the existence of a strong cardinal $\kappa$ and a measurable cardinal above it, we force a generic extension in which $\kappa$ is a singular strong limit cardinal of any prescribed cofinality, and such that the tree property holds…
We show that for any uncountable cardinal $\lambda$, the category of sets of cardinality at least $\lambda$ and monomorphisms between them cannot appear as the category of point of a topos, in particular is not the category of models of a…
For infinite cardinals $\kappa,\lambda$ let $C(\kappa,\lambda)$ denote the class of all compact Hausdorff spaces of weight $\kappa$ and size $\lambda$. So $C(\kappa,\lambda)=\emptyset$ if $\kappa>\lambda$ or $\lambda>2^\kappa$. If F is a…
We use generalizations of concepts from descriptive set theory to study combinatorial objects of uncountable regular cardinality, focussing on higher Kurepa trees and the representation of the sets of cofinal branches through such trees as…
The current paper answers an open question of abs/1007.2426 We say that a countable model M characterizes an infinite cardinal kappa, if the Scott sentence of M has a model in cardinality kappa, but no models in cardinality kappa plus. If M…
Assuming the existence of a strong cardinal $\kappa$, a weakly compact cardinal $\lambda$ above it and $\gamma > \lambda,$ we force a generic extension in which $\kappa$ is a singular strong limit cardinal of any given cofinality $\delta$,…
We develop a unified framework for iterated symmetric extensions with countable support and, more generally, with $<\kappa$-support. Set-length iterations are treated uniformly, and when the iteration template is first-order definable over…
We demonstrate that the technology of Radin forcing can be used to transfer compactness properties at a weakly inaccessible but not strong limit cardinal to a strongly inaccessible cardinal. As an application, relative to the existence of…
This paper makes significant progress towards resolving a conjecture relating strong forcing axioms like $PFA$ and the derived model at a limit of Woodin cardinals $\kappa$. In particular, using a concept called Covering Matrices, we show…
The implicit signature k consists of the multiplication and the ({\omega}-1)-power. We describe a procedure to transform each {\kappa}-term over a finite alphabet A into a certain canonical form and show that different canonical forms have…
A model with a sequence of indiscernibles depending on a particular precovering set is constructed.The initial assumption is as follows: for every n<omega the set {alpha | o(alpha)=alpha^+n } is unbounded in kappa.
We introduce and compute the generalized disconnection exponents $\eta_\kappa(\beta)$ which depend on $\kappa\in(0,4]$ and another real parameter $\beta$, extending the Brownian disconnection exponents (corresponding to $\kappa=8/3$)…
We use a natural forcing to construct a left-separated topology on an arbitrary cardinal kappa. The resulting left-separated space X_kappa is also 0-dimensional T_2, hereditarily Lindelof, and countably tight. Moreover if kappa is regular…
Let $F$ be an archimedean field, $G$ a divisible ordered abelian group and $h$ a group exponential on $G$. A triple $(F,G,h)$ is realised in a non-archimedean exponential field $(K,\exp)$ if the residue field of $K$ under the natural…