A constructive version of Tarski's geometry. Beeson, M. Annals of Pure and Applied Logic, 166(11):1199-1273, 2015. Pdf doi bibtex @article{beeson2015b,
author = {Michael Beeson},
date-added = {2014-11-15 01:21:33 +0000},
date-modified = {2015-10-08 17:57:18 +0000},
doi = {10.1016/j.apal.2015.07.006},
journal = {Annals of Pure and Applied Logic},
keywords = {Constructive mathematics, Geometry, Logic},
number = {11},
pages = {1199-1273},
title = {A constructive version of {T}arski's geometry},
url_pdf = {ConstructiveTarski.pdf},
volume = {166},
year = {2015},
bdsk-url-1 = {http://dx.doi.org/10.1016/j.apal.2015.07.006}}
Downloads: 0
{"_id":"fBdpzEHnC3oqLkYk9","bibbaseid":"beeson-aconstructiveversionoftarskisgeometry-2015","downloads":19,"creationDate":"2015-06-04T18:22:32.133Z","title":"A constructive version of Tarski's geometry","author_short":["Beeson, M."],"year":2015,"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-15 01:21:33 +0000","date-modified":"2015-10-08 17:57:18 +0000","doi":"10.1016/j.apal.2015.07.006","journal":"Annals of Pure and Applied Logic","keywords":"Constructive mathematics, Geometry, Logic","number":"11","pages":"1199-1273","title":"A constructive version of Tarski's geometry","url_pdf":"ConstructiveTarski.pdf","volume":"166","year":"2015","bdsk-url-1":"http://dx.doi.org/10.1016/j.apal.2015.07.006","bibtex":"@article{beeson2015b,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-15 01:21:33 +0000},\n\tdate-modified = {2015-10-08 17:57:18 +0000},\n\tdoi = {10.1016/j.apal.2015.07.006},\n\tjournal = {Annals of Pure and Applied Logic},\n\tkeywords = {Constructive mathematics, Geometry, Logic},\n\tnumber = {11},\n\tpages = {1199-1273},\n\ttitle = {A constructive version of {T}arski's geometry},\n\turl_pdf = {ConstructiveTarski.pdf},\n\tvolume = {166},\n\tyear = {2015},\n\tbdsk-url-1 = {http://dx.doi.org/10.1016/j.apal.2015.07.006}}\n\n","author_short":["Beeson, M."],"key":"beeson2015b","id":"beeson2015b","bibbaseid":"beeson-aconstructiveversionoftarskisgeometry-2015","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/ConstructiveTarski.pdf"},"keyword":["Constructive mathematics","Geometry","Logic"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"search_terms":["constructive","version","tarski","geometry","beeson"],"keywords":["constructive mathematics","geometry","logic"],"authorIDs":["2SdAzEbDMovr39m3H","4zHeuQRwDkMD6Xqr8","546642d9bc7d6a460d00089c","5de8d43e9e80cdde01000195","5defeac014db5cdf0100007c","5dfc2497ff6df7de01000070","5e03ae17a94129de0100000d","5e0dc417c7ca67df01000109","5e13f6acf8aa5dde01000042","5e2f4a4c26e5cadf0100001c","5e51bde132046bdf0100010a","5e51e8358240c0df01000020","5e69258d662319de010002c5","646esaGECfJjWFymd","7mrKCLm7cPiKm5CWg","B6skFWJok43hJg7At","BGLwXT98q3Kfv9QTj","QcRbyYqcCRCSzhNb4","SsSrsyDc8aoqbnh2Y","TqZdHatzyaM88iEPt","WRMwE6oZ4X9x2raNz","XXmWhRQTdX28SvTMv","Y6CDZWnAjiy5nMvqw","Z3LjuYrif98QXhXZM","b6rQCmwcvrZxCNy6n","bo9wnnFY7yzdyp7Ys","bzE2DwxKMcdB45SRa","chfLHypwisu7qBotT","dZMcb62spBJnnjs3t","dpRM5cTGAFrusW55R","gKswhtTyf2MZBNzTm","ggWmAzYnJEh8XEXgn","gpNwNhYtCK7mSpaXS","hH3KZcgia6CKuCB3K","iGE2RbobA9XCL82JW","kTLoeuwJ8R9Lz7wYx","ntERk8MYJbwtJvdLg","pCMiYg5EBwjkwPqC5","tKZHk67ZbM8m8gTG5","wREPnWGHjcJZafazQ","wwTsH4RwBNarDwfdT"],"dataSources":["v9esbf6gQ8h64d3NA"]}