Extensionality and choice in constructive mathematics. Beeson, M. Pacific Journal of Mathematics, 88:1-28, 1980. bibtex @article{beeson1980c,
author = {Michael Beeson},
date-added = {2014-11-14 21:01:14 +0000},
date-modified = {2014-11-14 21:02:51 +0000},
journal = {Pacific Journal of Mathematics},
keywords = {Logic, Constructive mathematics},
pages = {1-28},
title = {Extensionality and choice in constructive mathematics},
volume = {88},
year = {1980}}
Downloads: 0
{"_id":"BQkMcR2MLN66QaxnQ","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-extensionalityandchoiceinconstructivemathematics-1980","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-14 21:01:14 +0000","date-modified":"2014-11-14 21:02:51 +0000","journal":"Pacific Journal of Mathematics","keywords":"Logic, Constructive mathematics","pages":"1-28","title":"Extensionality and choice in constructive mathematics","volume":"88","year":"1980","bibtex":"@article{beeson1980c,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-14 21:01:14 +0000},\n\tdate-modified = {2014-11-14 21:02:51 +0000},\n\tjournal = {Pacific Journal of Mathematics},\n\tkeywords = {Logic, Constructive mathematics},\n\tpages = {1-28},\n\ttitle = {Extensionality and choice in constructive mathematics},\n\tvolume = {88},\n\tyear = {1980}}\n\n","author_short":["Beeson, M."],"key":"beeson1980c","id":"beeson1980c","bibbaseid":"beeson-extensionalityandchoiceinconstructivemathematics-1980","role":"author","urls":{},"keyword":["Logic","Constructive mathematics"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T22:07:22.829Z","downloads":0,"keywords":["logic","constructive mathematics"],"search_terms":["extensionality","choice","constructive","mathematics","beeson"],"title":"Extensionality and choice in constructive mathematics","year":1980,"dataSources":["v9esbf6gQ8h64d3NA"]}