Archive for Mathematical Logic 55 (1-2):49-83 (2016)

Authors
Patrick Dehornoy
Université de Caen
Abstract
In connection with his interest in selfdistributive algebra, Richard Laver established two deep results with potential applications in low-dimen\-sional topology, namely the existence of what is now known as the Laver tables and the well-foundedness of the standard ordering of positive braids. Here we present these results and discuss the way they could be used in topological applications.
Keywords Laver table  selfdistributivity  large cardinal  quandle  rack cohomology  set-theoretic Yang-Baxter equation  unprovability statements
Categories (categorize this paper)
DOI 10.1007/s00153-015-0460-9
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,661
Through your library

References found in this work BETA

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
Strong Axioms of Infinity and Elementary Embeddings.Robert M. Solovay - 1978 - Annals of Pure and Applied Logic 13 (1):73.
[Omnibus Review].Akihiro Kanamori - 1981 - Journal of Symbolic Logic 46 (4):864-866.
Another Use of Set Theory.Patrick Dehornoy - 1996 - Bulletin of Symbolic Logic 2 (4):379-391.

View all 8 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Laver Sequences for Extendible and Super-Almost-Huge Cardinals.Paul Corazza - 1999 - Journal of Symbolic Logic 64 (3):963-983.
Fuzzy Topology Representation for MV‐Algebras.Jialu Zhang & Quanfa Chen - 2009 - Mathematical Logic Quarterly 55 (3):259-270.
On the Formal Points of the Formal Topology of the Binary Tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.
The Wholeness Axiom and Laver Sequences.Paul Corazza - 2000 - Annals of Pure and Applied Logic 105 (1-3):157-260.
Inductively Generated Formal Topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
Strongly Dominating Sets of Reals.Michal Dečo & Miroslav Repický - 2013 - Archive for Mathematical Logic 52 (7-8):827-846.
Natural Topology.Frank Waaldijk - 2012 - Brouwer Society.
Sacks Forcing, Laver Forcing, and Martin's Axiom.Haim Judah, Arnold W. Miller & Saharon Shelah - 1992 - Archive for Mathematical Logic 31 (3):145-161.
REVIEWS-Twelve Papers.R. Dehornoy, R. Dougherty, T. Jech, R. Laver, J. Steel & Aleg Drapal - 2002 - Bulletin of Symbolic Logic 8 (4):555-560.
Linear Structures, Causal Sets and Topology.Laurenz Hudetz - 2015 - Studies in the History and Philosophy of Modern Physics.
Logic, Physics, Physiology, and Topology of Color.H. M. Hubey - 1997 - Behavioral and Brain Sciences 20 (2):191-194.
Policy and Party Competition in Japan After the Election of 2000.Junko Kato & Michael Laver - 2003 - Japanese Journal of Political Science 4 (1):121-133.

Analytics

Added to PP index
2016-02-04

Total views
16 ( #591,120 of 2,340,053 )

Recent downloads (6 months)
1 ( #516,585 of 2,340,053 )

How can I increase my downloads?

Downloads

My notes