English
Related papers

Related papers: Ideal Topologies in Higher Descriptive Set Theory

200 papers

The necessity of a theory of General Topology and, most of all, of Algebraic Topology on locally finite metric spaces comes from many areas of research in both Applied and Pure Mathematics: Molecular Biology, Mathematical Chemistry,…

Metric Geometry · Mathematics 2011-11-11 Valerio Capraro

A topology on a nonempty set $X$ specifies a natural subset of $\mathcal{P}(X)$. By identifying $\mathcal{P}(\mathcal{P}(X))$ with the totally disconnected compact Hausdorff space $2^{\mathcal{P}(X)}$, the lattice $Top(X)$ of all topologies…

General Topology · Mathematics 2011-12-09 Jorge L. Bruno , Aisling E. McCluskey

We construct a model with a saturated ideal $I$ over $\mathcal{P}_{\kappa}\lambda$ and study the extent of saturation of $I$.

Logic · Mathematics 2022-01-10 Kenta Tsukuura

H. Fischer et al. (Topology and its Application, 158 (2011) 397-408.) introduced the Spanier group of a based space $(X,x)$ which is denoted by $\psp$. By a Spanier space we mean a space $X$ such that $\psp=\pi_1(X,x)$, for every $x\in X$.…

Algebraic Topology · Mathematics 2013-11-11 Ali Pakdaman , Hamid Torabi , Behrooz Mashayekhy

Ordinary infinitary languages L_{lambda, kappa} satisfy the Interpolation Theorem only in the case lambda <= {aleph_1}, kappa = {aleph_0}, this include first order logic of course. There are also some pairs of such logics satifying…

Logic · Mathematics 2011-06-13 Saharon Shelah

We call a pair of infinite cardinals $(\kappa,\lambda)$ with $\kappa > \lambda$ a dominating (resp. pinning down) pair for a topological space $X$ if for every subset $A$ of $X$ (resp. family $\mathcal{U}$ of non-empty open sets in $X$) of…

General Topology · Mathematics 2020-11-23 István Juhász , Lajos Soukup , Zoltán Szentmiklóssy

We investigate fields of characteristic 0 and dp-rank 2. While we do not obtain a classification, we prove that any unstable field of characteristic 0 and dp-rank 2 admits a unique definable V-topology. If this statement could be…

Logic · Mathematics 2020-03-23 Will Johnson

Kunen's proof of the non-existence of Reinhardt cardinals opened up the research on very large cardinals, i.e., hypotheses at the limit of inconsistency. One of these large cardinals, I0, proved to have descriptive-set-theoretical…

Logic · Mathematics 2022-06-22 Vincenzo Dimonte

Let $T$ be a (first order complete) dependent theory, ${\mathfrak{C}}$ a $\bar\kappa$-saturated model of $T$ and $G$ a definable subgroup which is abelian. Among subgroups of bounded index which are the union of $<\bar\kappa$ type definable…

Logic · Mathematics 2021-09-15 Saharon Shelah

For a variety over certain topological rings $R$, like $\mathbb{Z}_p$ or $\mathbb{C}$, there is a well-studied way to topologize the $R$-points on the variety. In this paper, we generalize this definition to algebraic stacks. For an…

Algebraic Geometry · Mathematics 2020-05-21 Atticus Christensen

We discuss how the symmetries of $\kappa$-Minkowski non-commutative spacetime can be described by the $\kappa$-Poincar\'e Hopf algebra. In particular, we focus on a generalization of the Noether analysis in the $\kappa$-deformed framework…

High Energy Physics - Theory · Physics 2008-11-26 Michele Arzano

We improve Galvin's Theorem for ultrafilters which are p-point limits of p-points. This implies that in all the canonical inner models up to a superstrong cardinal, every $\kappa$-complete ultrafilter over a measurable cardinal $\kappa$…

Logic · Mathematics 2025-12-10 Tom Benhamou

Viale \cite{Viale_GuessingModel} introduced the notion of Generic Laver Diamond at $\kappa$---which we denote $\Diamond_{\text{Lav}}(\kappa)$---asserting the existence of a single function from $\kappa \to H_\kappa$ that behaves much like a…

Logic · Mathematics 2014-05-13 Sean D. Cox

The mathematical field of topology has become a framework to describe the low-energy electronic structure of crystalline solids. A typical feature of a bulk insulating three-dimensional topological crystal are conducting two-dimensional…

We study the Borel reducibility of isomorphism relations in the generalized Baire space $\kappa^\kappa$. In the main result we show for inaccessible $\kappa$, that if $T$ is a classifiable theory and $T'$ is stable with OCP, then the…

Logic · Mathematics 2015-09-18 Tapani Hyttinen , Miguel Moreno

The deformations of the Galilei algebra and their associated noncommutative Newtonian spacetimes are investigated. This is done by analyzing the possible nonrelativistic limits of an eleven generator (pseudo)extended \kap-Poincar\'e algebra…

q-alg · Mathematics 2011-07-28 J. A. de Azcarraga , J. C. Perez Bueno

Given an uncountable cardinal $\kappa$, we consider the question of whether subsets of the power set of $\kappa$ that are usually constructed with the help of the Axiom of Choice are definable by $\Sigma_1$-formulas that only use the…

Logic · Mathematics 2023-09-20 Philipp Lücke , Sandra Müller

We discuss a novel scenario for early cosmology, when the inflationary quasi-de Sitter phase dynamically originates from the initial quantum state represented by the microcanonical density matrix. This genuine quantum effect occurs as a…

High Energy Physics - Theory · Physics 2018-08-15 Andrey O. Barvinsky , Ariel R. Zhitnitsky

The purpose of this paper is to introduce a Zariski-like topology on the spectrum of all proper ideals of a ring. We show that the space is T_0, quasi-compact, and every irreducible closed subset has a unique generic point. Furthermore,…

Commutative Algebra · Mathematics 2022-03-22 Amartya Goswami

This paper is a continuation of our 2005 paper on complex topology and its implication on invertibility (or non-invertibility). In this paper, we will try to classify the complexity of inversion into 3 different classes. We will use…

General Physics · Physics 2010-08-17 August Lau , Chuan Yin