Related papers: Explicit Morphisms in the Galois-Tukey Category
A survey of recent results concerning cardinal invariants of measure and category. Submitted as a chapter of the upcoming Handbook of Set Theory.
Let $K/E/\mathbb{Q}_p$ be a tower of finite extensions with $E$ Galois. We relate the category of $G_K$-equivariant vector bundles on the Fargues--Fontaine curve with coefficients in $E$ with $E$-$G_K$-$B$-pairs and describe crystalline and…
Fundamental to the theory of continued fractions is the fact that every infinite continued fraction with positive integer coefficients converges; however, it is unknown precisely which continued fractions with integer coefficients (not…
Based on an apparently new Lagrange-type identity, a Cauchy--Schwarz-type inequality is proved. The mentioned identity is obtained by using certain ``macro'' variables; it is hoped that such a method can be used to prove or produce other…
Through the notion of weakly sound class of weights, we recover many known dualities involving accessible categories with a chosen class of limits, as instances of a general duality theorem. These include the Gabriel-Ulmer duality for…
We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We…
A.V.Arkhangel'skii asked in 1981 if the variety $\mathfrak V$ of topological groups generated by free topological groups on metrizable spaces coincides with the class of all topological groups. We show that if there exists a real-valued…
A new elementary proof of the prime number theorem presented recently in the framework of a scale invariant extension of the ordinary analysis is re-examined and clarified further. Both the formalism and proof are presented in a much more…
We introduce and study some variants of a notion of canonical set theoretical truth. By this, we mean truth in a transitive proper class model $M$ of ZFC that is uniquely characterized by some $\in$-formula. We show that there are…
We present a Galois theory of difference equations designed to measure the differential dependencies among solutions of linear difference equations. With this we are able to reprove Hoelder's Theorem that the Gamma function satisfies no…
Fixed an algebraic scheme $Y$. We suggest a definition for the conjugate of an algebraic scheme $X$ over $Y$ in an evident manner; then $X$ is said to be Galois closed over $Y$ if $X$ has a unique conjugate over $Y$. Now let $X$ and $Y$…
In the previous works, the rational function semifields of abstract tropical curves were characterized. In this paper, we give a contravariant categorical equivalence between the category of abstract tropical curves with morphisms and the…
We present a simple proof of the fundamental theorem of Galois theory, which establishes a correspondence between the intermediate fields of a finite Galois extension and the subgroups of its Galois group. The proof is based on the…
We carry out some of Galois's work in the setting of an arbitrary first-order theory T. We replace the ambient algebraically closed field by a large model M of T, replace fields by definably closed subsets of M, assume that T codes finite…
We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible…
Informally speaking, the categoricity of an axiom system means that its non-logical symbols have only one possible interpretation that renders the axioms true. Although non-categoricity has become ubiquitous in the second half of the 20th…
The sets of primitive foms may be decomposed into some Galois conjugacy classes. The purpose of this paper is to write down all of such classes with cardinal 1 or 2, explicitly in terms of some Eisenstein series, for level 1,2,3,4,6,8,9.…
We consider a complex of tori of length 2 defined over a number field k. We establish here some local and global duality theorems for the (\'etale or Galois) hypercohomology of such a complex. We prove the existence of a Poitou-Tate exact…
For an abstract elementary class $\mathbf{K}$ and a cardinal $\lambda \geq LS(\mathbf{K})$, we prove under mild cardinal arithmetic assumptions, categoricity in two succesive cardinals, almost stability for $\lambda^+$-minimal types and…
We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopenka's principle. We prove that the necessary large-cardinal…