• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

DMCA

Constructivist and Structuralist Foundations: Bishop’s and Lawvere’s Theories of Sets (2009)

Cached

  • Download as a PDF

Download Links

  • [www2.math.uu.se]
  • [www.math.uu.se]
  • [www2.math.uu.se]
  • [www2.math.uu.se]
  • [www.math.uu.se]
  • [www2.math.uu.se]
  • [www2.math.uu.se]
  • [arxiv.org]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Erik Palmgren
Citations:7 - 1 self
  • Summary
  • Citations
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Palmgren09constructivistand,
    author = {Erik Palmgren},
    title = {Constructivist and Structuralist Foundations: Bishop’s and Lawvere’s Theories of Sets},
    year = {2009}
}

Share

Facebook Twitter Reddit Bibsonomy

OpenURL

 

Abstract

Bishop’s informal set theory is briefly discussed and compared to Lawvere’s Elementary Theory of the Category of Sets (ETCS). We then present a constructive and predicative version of ETCS, whose standard model is based on the constructive type theory of Martin-Löf. The theory, CETCS, provides a structuralist foundation for constructive mathematics in the style of Bishop.

Keyphrases

structuralist foundation    lawvere theory    lawvere elementary theory    predicative version    informal set theory    constructive type theory    standard model    constructive mathematics   

Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University