Matches in SemOpenAlex for { <https://semopenalex.org/work/W2344637406> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2344637406 abstract "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 topological results. Concretely, Knot theory is formulated in terms of a language with signature $(cdot,T,equiv, 1,sigma,barsigma)$, with $cdot$ a 2-function, $T$ a 1-function, $equiv$ a 2-predicate and 1, $sigma$ and $barsigma$ constants. We describe a finite set of axioms making the language into a (first order) theory. We show that every knot can be represented by a term $b$ in 1, $sigma$, $bs$ and $T$, and knots represented by terms $b_1$ and $b_2$ are equivalent if and only if $b_1equiv b_2$. Our formulation gives a rich class of problems in First Order Logic that are important in Mathematics." @default.
- W2344637406 created "2016-06-24" @default.
- W2344637406 creator A5015991347 @default.
- W2344637406 creator A5058907676 @default.
- W2344637406 date "2012-09-17" @default.
- W2344637406 modified "2023-09-27" @default.
- W2344637406 title "Knots, Braids and First Order Logic" @default.
- W2344637406 hasPublicationYear "2012" @default.
- W2344637406 type Work @default.
- W2344637406 sameAs 2344637406 @default.
- W2344637406 citedByCount "0" @default.
- W2344637406 crossrefType "posted-content" @default.
- W2344637406 hasAuthorship W2344637406A5015991347 @default.
- W2344637406 hasAuthorship W2344637406A5058907676 @default.
- W2344637406 hasConcept C10138342 @default.
- W2344637406 hasConcept C114614502 @default.
- W2344637406 hasConcept C118615104 @default.
- W2344637406 hasConcept C121332964 @default.
- W2344637406 hasConcept C124194741 @default.
- W2344637406 hasConcept C136119220 @default.
- W2344637406 hasConcept C140146324 @default.
- W2344637406 hasConcept C159985019 @default.
- W2344637406 hasConcept C162324750 @default.
- W2344637406 hasConcept C167729594 @default.
- W2344637406 hasConcept C182306322 @default.
- W2344637406 hasConcept C192562407 @default.
- W2344637406 hasConcept C199360897 @default.
- W2344637406 hasConcept C202444582 @default.
- W2344637406 hasConcept C2524010 @default.
- W2344637406 hasConcept C2778049214 @default.
- W2344637406 hasConcept C33923547 @default.
- W2344637406 hasConcept C41008148 @default.
- W2344637406 hasConcept C62520636 @default.
- W2344637406 hasConceptScore W2344637406C10138342 @default.
- W2344637406 hasConceptScore W2344637406C114614502 @default.
- W2344637406 hasConceptScore W2344637406C118615104 @default.
- W2344637406 hasConceptScore W2344637406C121332964 @default.
- W2344637406 hasConceptScore W2344637406C124194741 @default.
- W2344637406 hasConceptScore W2344637406C136119220 @default.
- W2344637406 hasConceptScore W2344637406C140146324 @default.
- W2344637406 hasConceptScore W2344637406C159985019 @default.
- W2344637406 hasConceptScore W2344637406C162324750 @default.
- W2344637406 hasConceptScore W2344637406C167729594 @default.
- W2344637406 hasConceptScore W2344637406C182306322 @default.
- W2344637406 hasConceptScore W2344637406C192562407 @default.
- W2344637406 hasConceptScore W2344637406C199360897 @default.
- W2344637406 hasConceptScore W2344637406C202444582 @default.
- W2344637406 hasConceptScore W2344637406C2524010 @default.
- W2344637406 hasConceptScore W2344637406C2778049214 @default.
- W2344637406 hasConceptScore W2344637406C33923547 @default.
- W2344637406 hasConceptScore W2344637406C41008148 @default.
- W2344637406 hasConceptScore W2344637406C62520636 @default.
- W2344637406 hasLocation W23446374061 @default.
- W2344637406 hasOpenAccess W2344637406 @default.
- W2344637406 hasPrimaryLocation W23446374061 @default.
- W2344637406 hasRelatedWork W1614696802 @default.
- W2344637406 hasRelatedWork W1994058584 @default.
- W2344637406 hasRelatedWork W1998717665 @default.
- W2344637406 hasRelatedWork W2054265106 @default.
- W2344637406 hasRelatedWork W2076104607 @default.
- W2344637406 hasRelatedWork W2099657840 @default.
- W2344637406 hasRelatedWork W2102884417 @default.
- W2344637406 hasRelatedWork W2120816038 @default.
- W2344637406 hasRelatedWork W2184228077 @default.
- W2344637406 hasRelatedWork W2256978434 @default.
- W2344637406 hasRelatedWork W2285392822 @default.
- W2344637406 hasRelatedWork W2810266277 @default.
- W2344637406 hasRelatedWork W2920882088 @default.
- W2344637406 hasRelatedWork W3036609121 @default.
- W2344637406 hasRelatedWork W3037155527 @default.
- W2344637406 hasRelatedWork W3083002310 @default.
- W2344637406 hasRelatedWork W3101073634 @default.
- W2344637406 hasRelatedWork W3103461950 @default.
- W2344637406 hasRelatedWork W3103538953 @default.
- W2344637406 hasRelatedWork W3205109034 @default.
- W2344637406 isParatext "false" @default.
- W2344637406 isRetracted "false" @default.
- W2344637406 magId "2344637406" @default.
- W2344637406 workType "article" @default.