Related papers: Addendum to "Groups of Ribbon Knots"

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

We correct an error in the paper referred to in the title. Part of the argument is organized as a general method for establishing when (derived) functors factor through a fixed Serre subcategory, which may be of some more general interest.

In this work, we find a closed form formula for the braid index of an $n$-bridge braid, a class of positive braid knots which simultaneously generalizes torus knots, 1-bridge braids, and twisted torus knots. Our proof is elementary,…

To $2$-categorify the theory of group representations, we introduce the notions of the $3$-representation of a group in a strict $3$-category and the strict $2$-categorical action of a group on a strict $2$-category. We also $2$-categorify…

In this paper we present a general theory of $\Pi_{2}$-rules for systems of intuitionistic and modal logic. We introduce the notions of $\Pi_{2}$-rule system and of an Inductive Class, and provide model-theoretic and algebraic completeness…

Using a result of Kari and Ollinger, we prove that the torsion problem for elements of the Brin-Thompson group 2V is undecidable. As a result, we show that there does not exist an algorithm to determine whether an element of the rational…

Let $p_t(a,b;n)$ denote the number of partitions of $n$ such that the number of $t$ hooks is congruent to $a \bmod{b}$. For $t\in \{2, 3\}$, arithmetic progressions $r_1 \bmod{m_1}$ and $r_2 \bmod{m_2}$ on which $p_t(r_1,m_1; m_2 n + r_2)$…

As a supplement to the authors' article "Prime knots with arc index up to 11 and an upper bound of arc index for non-alternating knots", to appear in the Journal of Knot Theory and its Ramifications, we present minimal arc presentations of…

We give a commutative algebra viewpoint on Andrews recursive formula for the partitions appearing in "Gordon's identities", which are a generalization of Rogers-Ramanujan identities. Using this approach and differential ideals we conjecture…

Determining when two knots are equivalent (more precisely isotopic) is a fundamental problem in topology. Here we formulate this problem in terms of Predicate Calculus, using the formulation of knots in terms of braids and some basic…

Knots and links which are closed 3-braids are a very special class. Like 2-bridge knots and links, they are simple enough to admit a complete classification. At the same time they are rich enough to serve as a source of examples on which,…

A result of Allock [1](arXiv:math/9907194) states that certain orbifold braid groups contain Artin groups of type $D_n$, $\tilde{B}_n$ and $\tilde{D}_n$ as finite index subgroups. The underlying orbifolds have at most two cone points of…

In this note, we show that a part of [5, Remark 2.2] is not correct. Some conditions are given under which the same holds.

Rejoinder to ``Least angle regression'' by Efron et al. [math.ST/0406456]

We give a complete proof of the result (2.10) presented in our paper published in J. Phys. A: Math. Gen. 39 (2006) 8307.

In a paper published in 2012, the second author extended the well-known fact that Boolean algebras can be defined using only implication and a constant, to De Morgan algebras-this result led him to introduce, and investigate (in the same…

The previous version of this paper relied on a paper by another author whose proof appears to be invalid in a fundamental way. In arXiv:1707.00649 the author, together with Jeff Yelton, came up with a new proof of almost identical results.…

Let $B{ aut}_1X$ be the Dold-Lashof classifying space of orientable fibrations with fiber $X$. For a rationally weakly trivial map $f:X\to Y$, our strictly induced map $a_f: (Baut_1X)_0\to (Baut_1Y)_0$ induces a natural map from a…

In the study of homology cobordisms, knot concordance and link concordance, the following technical problem arises frequently: let $\pi$ be a group and let $M \to N$ be a homomorphism between projective $\Z[\pi]$-modules such that $\Z_p…

This is a companion paper to earlier work of the author, which generalizes to an infinite family of $(2,2w+1)$-cabling of the figure eight knot ($|w|>3$) and proposes general formulas for the two-variable series invariant of the family of…