Related papers: Ideal Topologies in Higher Descriptive Set Theory
We show that higher Sacks forcing at a regular limit cardinal and club Miller forcing at an uncountable regular cardinal both add a diamond sequence. We answer the longstanding question, whether $\kappa = \kappa^{<\kappa} \geq\aleph_1$…
We try to understand complete types over a somewhat saturated model of a complete first order theory which is dependent (previously called NIP), by "decomposition theorems for such types". Our thesis is that the picture of dependent theory…
Since Hochster's work, spectral spaces have attracted increasing interest. Through this note we intend to show that the set of proper ideals of a ring endowed with coarse lower topology is a spectral space.
A topological space $X$ is said to be an Ascoli space if any compact subset $K$ of $C_k(X)$ is evenly continuous. This definition is motivated by the classical Ascoli theorem. We study the $k_R$-property and the Ascoli property of…
The non-commutative geometry offers an effective framework for describing physics at the Planck scale, incorporating generic quantum-gravitational effects through an intrinsic minimal length and the $\kappa$-deformed space-time stands out…
We give an introduction to topological crystalline insulators, that is, gapped ground states of quantum matter that are not adiabatically connected to an atomic limit without breaking symmetries that include spatial transformations, like…
Here we deal with some problems posed by Matet. The first section deals with the existence of stationary subsets of [lambda]^{<kappa} with no unbounded subsets which are not stationary, where, of course, kappa is regular uncountable less or…
Let $\kappa$ be an infinite regular cardinal. We define a topological space $X$ to be $T_{\kappa-Borel}$-space (resp. a $T_{\kappa-BP}$-space) if for every $x\in X$ the singleton $\{x\}$ belongs to the smallest $\kappa$-additive algebra of…
We show that under $\BMM$ and "there exists a Woodin cardinal$"$, the nonstationary ideal on $\omega_1$ can not be defined by a $\Sigma_1$ formula with parameter $A \subset \omega_1$. We show that the same conclusion holds under the…
We show that, under the assumption of the existence of $M_1^{\#}$, there exists a model on which the restricted nonstationary ideal $\hbox{NS} \upharpoonright A$ is $\aleph_2$-saturated, for $A$ a stationary co-stationary subset of…
In the following work we will introduce and discuss in detail a particular model of complex $\kappa$-deformed scalar field, whose behaviour under C, P , T transformation is particularly transparent from both a formal and phenomenological…
We introduce the notion of a higher covering diagram in a base $\infty$-category $\mathcal{C}$. The theory of higher covering diagrams in $\mathcal{C}$ will be shown to recover various descent conditions known from the $\infty$-categorical…
We sow that there exists a generic extension of the G\"{o}del's constructible universe in which diamond holds and there exists a subset $Y \subseteq \omega_1$ such that for stationary many $\delta < \omega_1,$ the set $Y \cap \delta$ is not…
It is often expected that one cannot treat spacetime as a continuous manifold as the Planck scale is approached, because of to possible effects due to a quantum theory of gravity. There have been several proposals to model such a deviation…
Given a closed orientable surface (\Sigma) of genus at least two, we establish an affine isomorphism between the convex compact set of isotopy-invariant topological measures on (\Sigma) and the convex compact set of additive functions on…
We discuss a new scenario for early cosmology, when inflationary de Sitter phase dynamically emergent. This genuine quantum effect occurs as a result of dynamics of the topologically nontrivial sectors in a (conjectured) strongly coupled…
We introduce a topology, which we call the regional topology, on the space of all real functions on a given locally compact metric space. Next we obtain a new versions of Schauder's fixed point theorem and Ascoli's theorem. We use these…
We introduce new $\kappa$-star product describing the multiplication of quantized $\kappa$-deformed free fields. The $\kappa$-deformation of local free quantum fields originates from two sources: noncommutativity of space-time and the…
Higher inductive types are a class of type-forming rules, introduced to provide basic (and not-so-basic) homotopy-theoretic constructions in a type-theoretic style. They have proven very fruitful for the "synthetic" development of homotopy…
In this paper, we study some properties of the closure operator in the Mac\'ias topology on infinite integral domains. Moreover, under certain conditions, we present topological proofs of the infiniteness of maximal ideals and…