Related papers: On infinite order corks

We develop first-order logic and some extensions for incomplete information scenarios and consider related complexity issues.

For suitable finite groups G, we construct contractible 4-manifolds C with an effective G-action on $\partial C$ whose associated pairs (C,g) for all $g \in G$ are distinct smoothings of the pair $(C,\partial C)$. Indeed C embeds in a…

Here we discuss $r-$shake slice knots, and their relation to corks, we then prove that $0$-shake slice knots are slice.

We present a modification of Riesz's construction of the Lebesgue integral, leading directly to finite or infinite integrals, at the same time simplifying the proofs.

We prove a result on lower bounds in large dimensions.

Cork is a natural amorphous material with near-zero Poisson's ratio that is ubiquitously used for sealing glass bottles. It is an anisotropic, transversally isotropic, composite that can hardly be scaled down. Here, we propose a new class…

We show that if we enrich first order logic by allowing quantification over isomorphisms between definable ordered fields the resulting logic, L(Q_{Of}), is fully compact. In this logic, we can give standard compactness proofs of various…

We construct normal rationally connected varieties (of arbitrarily large dimension) not containing any smooth rational curves.

We discuss corks, and introduce new objects which we call plugs. Though plugs are fundamentally different objects, they also detect exotic smooth structures in 4-manifolds like corks. We discuss relation between corks, plugs and rational…

We show that an amalgamated free product $G*_{A}H$ admits a discrete isolated ordering, under some assumptions of $G,H$ and $A$. This generalizes the author's previous construction of isolated orderings, and unlike known constructions of…

We generalize the notion of saturated order to infinite partial orders and give both a set-theoretic and an algebraic characterization of such orders. We then study the proof theoretic strength of the equivalence of these characterizations…

We construct exotic copies of $\mathbb{R}^4$ with nontrivial compactly supported mapping class groups of arbitrarily large rank. This follows from a modification of the construction of the diffeomorphism corks of arXiv:2407.04696 that makes…

We prove that the outer automorphism group of a free group of countably infinite rank is complete.

Let $K$ be an extension of $\mathbb{Q}$ and $A/K$ an elliptic curve. If $\mathrm{Gal}(\bar K/K)$ is finitely generated, then $A$ is of infinite rank over $K$. In particular, this implies the $g=1$ case of the Junker-Koenigsmann conjecture.…

In the present note we construct new families of free plane curves starting from a curve $C$ and adding high order inflectional tangent lines of $C$, lines joining the singularities of the curve $C$, or lines in the tangent cone of some…

In this paper, we study the product of orders of composition factors of odd order in a composition series of a finite linear group. First we generalize a result by Manz and Wolf about the order of solvable linear groups of odd order. Then…

We present a novel, perspicuous framework for building iterated ultrapowers. Furthermore, our framework naturally lends itself to the construction of a certain type of order indiscernibles, here dubbed tight indiscernibles, which are shown…

We define a nontrivial mod 2 valued additive concordance invariant defined on the torsion subgroup of the knot concordance group using involutive knot Floer package. For knots not contained in its kernel, we prove that their iterated…

The goal of this note is to provide yet another proof of the following theorem of Golod: there exists an infinite finitely generated group $G$ such that every element of $G$ has finite order. Our proof is based on the Nielsen-Schreier index…

In this note, we prove that there exist infinite dimensional excellent rings.