Knots, Braids and First Order Logic KZH1DCS18C

URI	`m2://res/KZH1DCS18C`
Kind	preprint
Creators	Siddhartha Gadgil, T. V. H. Prathamesh
Date	2012-09-17
MSC	03-XX, 57-XX
Subjects	arxiv math.LO, arxiv math.GT
Scope	in

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
25G9BEWEKV	definition	definition 2.6	arxiv
4BGYQ53GQN	statement	lemma 6.8	arxiv
4T7RTB4YXQ	definition	definition 2.2	arxiv
Markov	statement	theorem 6.15	arxiv
7XFSMYQN0K	statement	theorem 6.9	arxiv
8ZFXEHTAJ5	statement	lemma 4.7	arxiv
Reidemeister Moves	definition	definition 6.7	arxiv
Alexander	statement	theorem 4.2	arxiv
9XYRZTH29C	statement	theorem 6.12	arxiv
AMGB6F08ED	definition	definition 2.5	arxiv
ART7JE9FKX	statement	theorem 6.11	arxiv
DJ8DKRVCKE	definition	definition 5.1	arxiv
DRKT0VCRHZ	statement	theorem 5.2	arxiv
Canonical Model	definition	definition 6.2	arxiv
Braid Diagrams	definition	definition 6.5	arxiv
HEXPBPVWGY	statement	lemma 4.4	arxiv
Geometric Braids	definition	definition 6.10	arxiv
M4C4G6ZAPT	statement	theorem 2.7	arxiv
NK30ZPXP4E	statement	theorem 2.4	arxiv
P5HSZ961FZ	statement	corollary 6.13	arxiv
PVSJR53P5Q	definition	definition 2.1	arxiv
Markov	statement	theorem 4.6	arxiv
R6W8S50SS4	statement	lemma 6.3	arxiv
Ambient Isotopy	definition	definition 2.3	arxiv
T8RE0T3ZVE	statement	theorem 4.5	arxiv
Alexander	statement	theorem 6.14	arxiv
WKP7QA38DZ	definition	definition 4.1	arxiv
WYX3H9R4CJ	statement	theorem 6.1	arxiv
ZMRP625APQ	statement	theorem 6.4	arxiv