Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. Bauer, A. & Simpson, A. Mathematical Logic Quarterly, 50(4,5):351–369, 2004.  bibtex   @ARTICLE{BS04,
  author = {Bauer, Andrej and Simpson, Alex},
  title = {Two constructive embedding-extension theorems with applications to
	continuity principles and to {B}anach-{M}azur computability},
  journal = MLQ,
  year = {2004},
  volume = {50},
  pages = {351--369},
  number = {4,5},
  file = {BS04.pdf:BS04.pdf:PDF},
  keywords = {bib,cca}
} 
Downloads: 0
{"_id":"MXDPwDihtZirGwAZv","bibbaseid":"bauer-simpson-twoconstructiveembeddingextensiontheoremswithapplicationstocontinuityprinciplesandtobanachmazurcomputability-2004","authorIDs":[],"author_short":["Bauer, A.","Simpson, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Bauer"],"firstnames":["Andrej"],"suffixes":[]},{"propositions":[],"lastnames":["Simpson"],"firstnames":["Alex"],"suffixes":[]}],"title":"Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability","journal":"Mathematical Logic Quarterly","year":"2004","volume":"50","pages":"351–369","number":"4,5","file":"BS04.pdf:BS04.pdf:PDF","keywords":"bib,cca","bibtex":"@ARTICLE{BS04,\r\n  author = {Bauer, Andrej and Simpson, Alex},\r\n  title = {Two constructive embedding-extension theorems with applications to\r\n\tcontinuity principles and to {B}anach-{M}azur computability},\r\n  journal = MLQ,\r\n  year = {2004},\r\n  volume = {50},\r\n  pages = {351--369},\r\n  number = {4,5},\r\n  file = {BS04.pdf:BS04.pdf:PDF},\r\n  keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Bauer, A.","Simpson, A."],"key":"BS04","id":"BS04","bibbaseid":"bauer-simpson-twoconstructiveembeddingextensiontheoremswithapplicationstocontinuityprinciplesandtobanachmazurcomputability-2004","role":"author","urls":{},"keyword":["bib","cca"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.490Z","downloads":0,"keywords":["bib","cca"],"search_terms":["two","constructive","embedding","extension","theorems","applications","continuity","principles","banach","mazur","computability","bauer","simpson"],"title":"Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability","year":2004,"dataSources":["t7rKiAbxugj4Agz8M"]}