Constructive geometry and the parallel postulate. Beeson, M. Bulletin of Symbolic Logic, 22(1):1-104, March, 2016.  
Pdf  bibtex   @article{beeson2016b,
	author = {Michael Beeson},
	date-added = {2014-11-15 01:19:41 +0000},
	date-modified = {2016-06-08 22:16:45 +0000},
	journal = {Bulletin of Symbolic Logic},
	keywords = {Logic, Geometry, Constructive mathematics},
	month = {March},
	number = {1},
	pages = {1-104},
	title = {Constructive geometry and the parallel postulate},
	url_pdf = {ConstructiveGeometryAndTheParallelPostulate.pdf},
	volume = {22},
	year = {2016}} 
Downloads: 0
{"_id":"Wg87C8j5LYAyJgMra","bibbaseid":"beeson-constructivegeometryandtheparallelpostulate-2016","author_short":["Beeson, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-15 01:19:41 +0000","date-modified":"2016-06-08 22:16:45 +0000","journal":"Bulletin of Symbolic Logic","keywords":"Logic, Geometry, Constructive mathematics","month":"March","number":"1","pages":"1-104","title":"Constructive geometry and the parallel postulate","url_pdf":"ConstructiveGeometryAndTheParallelPostulate.pdf","volume":"22","year":"2016","bibtex":"@article{beeson2016b,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-15 01:19:41 +0000},\n\tdate-modified = {2016-06-08 22:16:45 +0000},\n\tjournal = {Bulletin of Symbolic Logic},\n\tkeywords = {Logic, Geometry, Constructive mathematics},\n\tmonth = {March},\n\tnumber = {1},\n\tpages = {1-104},\n\ttitle = {Constructive geometry and the parallel postulate},\n\turl_pdf = {ConstructiveGeometryAndTheParallelPostulate.pdf},\n\tvolume = {22},\n\tyear = {2016}}\n\n","author_short":["Beeson, M."],"key":"beeson2016b","id":"beeson2016b","bibbaseid":"beeson-constructivegeometryandtheparallelpostulate-2016","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/ConstructiveGeometryAndTheParallelPostulate.pdf"},"keyword":["Logic","Geometry","Constructive mathematics"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["logic","geometry","constructive mathematics"],"search_terms":["constructive","geometry","parallel","postulate","beeson"],"title":"Constructive geometry and the parallel postulate","year":2016}