A constructive proof of the Peter-Weyl theorem

&
Mathematical Logic Quarterly 51 (4):351 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

External links

  • This entry has no external links. Add one.
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 constructive proof of the Peter‐Weyl theorem.Thierry Coquand & Bas Spitters - 2005 - Mathematical Logic Quarterly 51 (4):351-359.
A Constructive Proof of a Theorem in Relevance Logic.Aleksandar Kron - 1985 - Mathematical Logic Quarterly 31 (25‐28):423-430.
A Constructive Version of the Spectral Mapping Theorem.Douglas Bridges & Robin Havea - 2001 - Mathematical Logic Quarterly 47 (3):299-304.
A General Constructive Intermediate Value Theorem.Douglas S. Bridges - 1989 - Mathematical Logic Quarterly 35 (5):433-435.
A Proof of a Theorem of Tennenbaum.Paul E. Howard - 1972 - Mathematical Logic Quarterly 18 (7):111-112.
On the Proof Method for Constructive Falsity.Seiki Akama - 1988 - Mathematical Logic Quarterly 34 (5):385-392.
A Proof of the Compactness Theorem.Kenneth J. Danhof - 1974 - Mathematical Logic Quarterly 20 (8-12):179-182.
A Note on the Proof Method for Constructive Falsity.Kazuyuki Tanka - 1991 - Mathematical Logic Quarterly 37 (2‐4):63-64.
A Proof of the Characterization Theorem for Consequence Relations.Zvonimir Šikić - 1991 - Mathematical Logic Quarterly 37 (2‐4):41-43.
A constructive version of Sperner's lemma and Brouwer's fixed point theorem.A. K. Khalifa - 1990 - Mathematical Logic Quarterly 36 (3):247-251.

Analytics

Added to PP
2013-12-01

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references