BibTeX records: Christopher J. Eagle

download as .bib file

@article{DBLP:journals/apal/EagleHMT23,
  author       = {Christopher J. Eagle and
                  Clovis Hamel and
                  Sandra M{\"{u}}ller and
                  Franklin D. Tall},
  title        = {An undecidable extension of Morley's theorem on the number of countable
                  models},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {174},
  number       = {9},
  pages        = {103317},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.apal.2023.103317},
  doi          = {10.1016/J.APAL.2023.103317},
  timestamp    = {Thu, 31 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/EagleHMT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/EagleHT21,
  author       = {Christopher J. Eagle and
                  Clovis Hamel and
                  Franklin D. Tall},
  title        = {Two applications of topology to model theory},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {172},
  number       = {5},
  pages        = {102907},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.apal.2020.102907},
  doi          = {10.1016/J.APAL.2020.102907},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apal/EagleHT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/EagleS19,
  author       = {Christopher J. Eagle and
                  Todd Schmid},
  title        = {Concrete barriers to quantifier elimination in finite dimensional
                  C*-algebras},
  journal      = {Math. Log. Q.},
  volume       = {65},
  number       = {4},
  pages        = {490--497},
  year         = {2019},
  url          = {https://doi.org/10.1002/malq.201900041},
  doi          = {10.1002/MALQ.201900041},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/EagleS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/EagleFHKKL16,
  author       = {Christopher J. Eagle and
                  Ilijas Farah and
                  Bradd Hart and
                  Boris Kadets and
                  Vladyslav Kalashnyk and
                  Martino Lupini},
  title        = {Fra{\"{\i}}ss{\'{e}} Limits of C*-Algebras},
  journal      = {J. Symb. Log.},
  volume       = {81},
  number       = {2},
  pages        = {755--773},
  year         = {2016},
  url          = {https://doi.org/10.1017/jsl.2016.14},
  doi          = {10.1017/JSL.2016.14},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/EagleFHKKL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Eagle14,
  author       = {Christopher J. Eagle},
  title        = {Omitting types for infinitary [0,1]-valued logic},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {165},
  number       = {3},
  pages        = {913--932},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.apal.2013.11.006},
  doi          = {10.1016/J.APAL.2013.11.006},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/Eagle14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics