𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Markov and Artin Normal Form Theorem for Braid Groups∗

✍ Scribed by Bokut, L. A.; Chaynikov, V. V.; Shum, K. P.

Book ID
120837488
Publisher
Taylor and Francis Group
Year
2007
Tongue
English
Weight
122 KB
Volume
35
Category
Article
ISSN
0092-7872

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A local normal form theorem for infinita
A local normal form theorem for infinitary logic with unary quantifiers
✍ H. Jerome Keisler; Wafik Boulos Lotfallah 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 152 KB

We prove a local normal form theorem of the Gaifman type for the infinitary logic L∞ω(Q u ) ω whose formulas involve arbitrary unary quantifiers but finite quantifier rank. We use a local Ehrenfeucht-Fraïssé type game similar to the one in [9]. A consequence is that every sentence of L∞ω(Q u ) ω of

A Normal form Theorem for Recursive Oper
A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces
✍ D. Skordev 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 473 KB

A XORMAL FORM THEOREM FOR RECURSIVE OPERATORS Lemma 2. All elements of 9 ? and the element I are perfect. If E and rj are perfect elements of 9, then (t, q ) is also perfect. Proof. Obvious from the definition. L e m m a 3. Let [ be a perfect element of 9. Then Vp(L(p7, [) = 9 & R ( [ . y ) = 9).