Laver’s results and low-dimensional topology

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

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.

Categories

Keywords

Reprint years

DOI

10.1007/s00153-015-0460-9

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,654

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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.
Twelve papers by P. Dehornoy, R. Dougherty, T. Jech, R. Laver, and J. Steel.A. Drapal - 2002 - Bulletin of Symbolic Logic 8 (4):555-560.
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.
Completeness results for some two-dimensional logics of actuality.David R. Gilbert & Edwin D. Mares - 2012 - Review of Symbolic Logic 5 (2):239-258.
Large Cardinals and Topology: a Short Retrospective and Some New Results.Samuel da Silva - 2007 - Logic Journal of the IGPL 15 (5-6):433-443.
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
2016-02-04

Downloads
41 (#391,763)

6 months
7 (#441,920)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Patrick Dehornoy
Université de Caen

Citations of this work

No citations found.

Add more citations

References found in this work

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 Mathematical Logic 13 (1):73.
[Omnibus Review].Akihiro Kanamori - 1981 - Journal of Symbolic Logic 46 (4):864-866.
"[Product]"¹1-complete families of elementary sequences.Patrick Dehornoy - 1988 - Annals of Pure and Applied Logic 38 (3):257.

View all 8 references / Add more references