Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm

, , &
Logic Journal of the IGPL 22 (1):39-65 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzt034

Links

PhilArchive



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

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

A topology induced by uniformity on BL‐algebras.Masoud Haveshki, Esfandiar Eslami & Arsham Borumand Saeid - 2007 - Mathematical Logic Quarterly 53 (2):162-169.
Fuzzy topology representation for MV‐algebras.Jialu Zhang & Quanfa Chen - 2009 - Mathematical Logic Quarterly 55 (3):259-270.
A topology induced by uniformity on BL-algebras.Masoud Haveshki, Esfandiar Eslami & Arsham Borumand Saeid - 2007 - Mathematical Logic Quarterly 53 (2):162-169.
Inductively generated formal topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
A posteriori convergence in complete Boolean algebras with the sequential topology.Miloš S. Kurilić & Aleksandar Pavlović - 2007 - Annals of Pure and Applied Logic 148 (1-3):49-62.
Regular opens in constructive topology and a representation theorem for overlap algebras.Francesco Ciraulo - 2013 - Annals of Pure and Applied Logic 164 (4):421-436.
Elimination of algorithmic quantifiers for ordered differential algebra.Yunfu Shen - 1999 - Archive for Mathematical Logic 38 (3):139-144.
Whole and part in mathematics.John L. Bell - 2004 - Axiomathes 14 (4):285-294.
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
MV and Heyting Effect Algebras.D. J. Foulis - 2000 - Foundations of Physics 30 (10):1687-1706.
Review: J. C. C. McKinsey, Alfred Tarski, The Algebra of Topology. [REVIEW]H. E. Vaughan - 1944 - Journal of Symbolic Logic 9 (4):96-97.
Approximation Logic and Strong Bunge Algebra.Michiro Kondo - 1995 - Notre Dame Journal of Formal Logic 36 (4):595-605.
Applications of elementary submodels in general topology.Stefan Geschke - 2002 - Synthese 133 (1-2):31 - 41.
McKinsey J. C. C. and Tarski Alfred. The algebra of topology. Annals of mathematics, ser. 2 vol. 45 , pp. 141–191.H. E. Vaughan - 1944 - Journal of Symbolic Logic 9 (4):96-97.
Sublocales in Formal Topology.Steven Vickers - 2007 - Journal of Symbolic Logic 72 (2):463 - 482.

Analytics

Added to PP
2016-06-30

Downloads
29 (#553,855)

6 months
1 (#1,478,781)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Felicity Martin
University of Sydney

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references