Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Logic, Mathematics, Philosophy, Vintage EnthusiasmsEqualisers of Frames in Constructive Set Theory

Logic, Mathematics, Philosophy, Vintage Enthusiasms: Equalisers of Frames in Constructive Set Theory [In a recent note (Palmgren, 2005) Erik Palmgren has shown that, in a sufficiently strong version of Martin-Löf’s type theory (Martin-Löf, 1984) the category of set-presented formal topologies has coequalisers. We refer the reader to (Palmgren, 2005) for the background motivation for this result. Palmgren, EricMartin-Löf, PerRathjen, MichaelAczel, Peter] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

Logic, Mathematics, Philosophy, Vintage EnthusiasmsEqualisers of Frames in Constructive Set Theory

Part of the The Western Ontario Series in Philosophy of Science Book Series (volume 75)
Editors: DeVidi, David; Hallett, Michael; Clarke, Peter

Loading next page...
 
/lp/springer-journals/logic-mathematics-philosophy-vintage-enthusiasms-equalisers-of-frames-X4s4MPoYbu

References (2)

Publisher
Springer Netherlands
Copyright
© Springer Science+Business Media B.V. 2011
ISBN
978-94-007-0213-4
Pages
221 –228
DOI
10.1007/978-94-007-0214-1_11
Publisher site
See Chapter on Publisher Site

Abstract

[In a recent note (Palmgren, 2005) Erik Palmgren has shown that, in a sufficiently strong version of Martin-Löf’s type theory (Martin-Löf, 1984) the category of set-presented formal topologies has coequalisers. We refer the reader to (Palmgren, 2005) for the background motivation for this result. Palmgren, EricMartin-Löf, PerRathjen, MichaelAczel, Peter]

Published: Jan 27, 2011

There are no references for this article.