@ARTICLE{Sor91a,
  author = {Sorbi, Andrea},
  title = {Embedding {B}rouwer algebras in the {M}edvedev lattice},
  journal = {Notre Dame Journal of Formal Logic},
  year = {1991},
  volume = {32},
  pages = {266--275},
  number = {2},
  doi = {10.1305/ndjfl/1093635751},
  file = {Sor91a.pdf:Sor91a.pdf:PDF},
  issn = {0029-4527},
  mrclass = {03G10 (06D20)},
  mrnumber = {1123000},
  mrreviewer = {Cui-Kui Zhao},
  url = {https://doi.org/10.1305/ndjfl/1093635751}
}

{"_id":"LuZQhtAgAZR5SJdCv","bibbaseid":"sorbi-embeddingbrouweralgebrasinthemedvedevlattice-1991","authorIDs":[],"author_short":["Sorbi, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Sorbi"],"firstnames":["Andrea"],"suffixes":[]}],"title":"Embedding Brouwer algebras in the Medvedev lattice","journal":"Notre Dame Journal of Formal Logic","year":"1991","volume":"32","pages":"266–275","number":"2","doi":"10.1305/ndjfl/1093635751","file":"Sor91a.pdf:Sor91a.pdf:PDF","issn":"0029-4527","mrclass":"03G10 (06D20)","mrnumber":"1123000","mrreviewer":"Cui-Kui Zhao","url":"https://doi.org/10.1305/ndjfl/1093635751","bibtex":"@ARTICLE{Sor91a,\r\n author = {Sorbi, Andrea},\r\n title = {Embedding {B}rouwer algebras in the {M}edvedev lattice},\r\n journal = {Notre Dame Journal of Formal Logic},\r\n year = {1991},\r\n volume = {32},\r\n pages = {266--275},\r\n number = {2},\r\n doi = {10.1305/ndjfl/1093635751},\r\n file = {Sor91a.pdf:Sor91a.pdf:PDF},\r\n issn = {0029-4527},\r\n mrclass = {03G10 (06D20)},\r\n mrnumber = {1123000},\r\n mrreviewer = {Cui-Kui Zhao},\r\n url = {https://doi.org/10.1305/ndjfl/1093635751}\r\n}\r\n\r\n","author_short":["Sorbi, A."],"key":"Sor91a","id":"Sor91a","bibbaseid":"sorbi-embeddingbrouweralgebrasinthemedvedevlattice-1991","role":"author","urls":{"Paper":"https://doi.org/10.1305/ndjfl/1093635751"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.858Z","downloads":0,"keywords":[],"search_terms":["embedding","brouwer","algebras","medvedev","lattice","sorbi"],"title":"Embedding Brouwer algebras in the Medvedev lattice","year":1991,"dataSources":["t7rKiAbxugj4Agz8M"]}