Related papers: Order-isomorphic Morass-definable $\eta_1$-orderin…
For an $S^1$-framed modular operad $P$, we introduce its "Feynman compactification" denoted by $FP$ which is a modular operad. Let $\{\mathbb{M}^{\sf fr}(g,n)\}_{(g,n)}$ be the $S^1$-framed modular operad defined using moduli spaces of…
Let $A$ and $B$ be two Morita equivalent finite dimensional associative algebras over a field $\Bbbk$. It is well known that Hochschild cohomology is invariant under Morita equivalence. Since infinitesimal deformations are connected with…
We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of…
We define new higher-order Alexander modules $\mathcal{A}_n(C)$ and higher-order degrees $\delta_n(C)$ which are invariants of the algebraic planar curve $C$. These come from analyzing the module structure of the homology of certain…
We show that it is relatively consistent with ZF that the Borel hierarchy on the reals has length $\omega_2$. This implies that $\omega_1$ has countable cofinality, so the axiom of choice fails very badly in our model. A similar argument…
The Univalent Foundations requires a logic that allows us to define structures on homotopy types, similar to how first-order logic with equality ($\text{FOL}_=$) allows us to define structures on sets. We develop the syntax, semantics and…
We show that the notions of generic and Laver-generic supercompactness are first-order definable in the language of ZFC. This also holds for generic and Laver-generic (almost) hugeness as well as for generic versions of other large…
We give examples of infinite order rational transformations that leave linear differential equations covariant. These examples are non-trivial yet simple enough illustrations of exact representations of the renormalization group. We first…
The isotropic harmonic oscillator and the Kepler-Coulomb system are pivotal models in the Sciences. They are two examples of second-order (maximally) superintegrable (Hamiltonian) systems. These systems are classified in dimension two. A…
The point of departure for the present work is Barry Mitchell's 1972 theorem that the cohomological dimension of $\aleph_n$ is $n+1$. We record a new proof and mild strengthening of this theorem; our more fundamental aim, though, is some…
For g < f in omega^omega we define c(f,g) be the least number of uniform trees with g-splitting needed to cover a uniform tree with f-splitting. We show that we can simultaneously force aleph_1 many different values for different functions…
Gromov's Lipschitz order is an order relation on the set of metric measure spaces. One of the compactifications of the space of isomorphism classes of metric measure spaces equipped with the concentration topology is constructed by using…
Under the assumption that $\delta$ is a Woodin cardinal and $\GCH$ holds, I show that if $F$ is any class function from the regular cardinals to the cardinals such that (1) $\kappa<\cf(F(\kappa))$, (2) $\kappa<\lambda$ implies…
We contribute to the study of $\aleph_1$-dense sets of reals, a mainstay in set theoretic research since Baumgartner's seminal work in the 70s. In particular, we show that it is consistent with $\textsf{MA}$ that there exists an…
Fast-growing hierarchies are sequences of functions obtained through various processes similar to the ones that yield multiplication from addition, exponentiation from multiplication, etc. We observe that fast-growing hierarchies can be…
We show that two C*-algebraic noncommutative tori are strongly Morita equivalent if and only if they have isomorphic ordered K_0-groups and centers, extending N. C. Phillips's result in the case that the algebras are simple. This is also…
We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context:…
A relational structure is a core, if all its endomorphisms are embeddings. This notion is important for computational complexity classification of constraint satisfaction problems. It is a fundamental fact that every finite structure has a…
We show that the only random orderings of finite graphs that are invariant under isomorphism and induced subgraph are the uniform random orderings. We show how this implies the unique ergodicity of the automorphism group of the random…
We investigate the descriptive complexity of order convergence in separable Banach lattices. While uniform convergence is Borel and $\sigma$-order convergence is known to be ${\bf \Delta}^1_2$, it is unclear in general when $\sigma$-order…