BibTeX records: Clifton F. Ealy

• > Home > Persons > Clifton F. Ealy

@article{DBLP:journals/apal/EalyM23,
  author       = {Clifton F. Ealy and
                  Jana Mar{\'{\i}}kov{\'{a}}},
  title        = {Quantifier elimination for o-minimal structures expanded by a valuational
                  cut},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {174},
  number       = {2},
  pages        = {103206},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.apal.2022.103206},
  doi          = {10.1016/J.APAL.2022.103206},
  timestamp    = {Thu, 05 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/EalyM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ndjfl/EalyHM19,
  author       = {Clifton F. Ealy and
                  Deirdre Haskell and
                  Jana Mar{\'{\i}}kov{\'{a}}},
  title        = {Residue Field Domination in Real Closed Valued Fields},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {60},
  number       = {3},
  pages        = {333--351},
  year         = {2019},
  url          = {https://doi.org/10.1215/00294527-2019-0015},
  doi          = {10.1215/00294527-2019-0015},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/EalyHM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/EalyM15,
  author       = {Clifton F. Ealy and
                  Jana Mar{\'{\i}}kov{\'{a}}},
  title        = {Model Completeness of O-Minimal Fields with Convex Valuations},
  journal      = {J. Symb. Log.},
  volume       = {80},
  number       = {1},
  pages        = {234--250},
  year         = {2015},
  url          = {https://doi.org/10.1017/jsl.2014.3},
  doi          = {10.1017/JSL.2014.3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/EalyM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/EalyO14,
  author       = {Clifton F. Ealy and
                  Alf Onshuus},
  title        = {Consistent amalgamation for {\th}-forking},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {165},
  number       = {2},
  pages        = {503--519},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.apal.2013.06.021},
  doi          = {10.1016/J.APAL.2013.06.021},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/EalyO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/EalyG12,
  author       = {Clifton F. Ealy and
                  Isaac Goldbring},
  title        = {Thorn-forking in continuous logic},
  journal      = {J. Symb. Log.},
  volume       = {77},
  number       = {1},
  pages        = {63--93},
  year         = {2012},
  url          = {https://doi.org/10.2178/jsl/1327068692},
  doi          = {10.2178/JSL/1327068692},
  timestamp    = {Thu, 29 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/EalyG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/EalyKP08,
  author       = {Clifton F. Ealy and
                  Krzysztof Krupinski and
                  Anand Pillay},
  title        = {Superrosy dependent groups having finitely satisfiable generics},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {151},
  number       = {1},
  pages        = {1--21},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.apal.2007.09.004},
  doi          = {10.1016/J.APAL.2007.09.004},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/EalyKP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apal/BerensteinEG07,
  author       = {Alexander Berenstein and
                  Clifton F. Ealy and
                  Ayhan G{\"{u}}naydin},
  title        = {Thorn independence in the field of real numbers with a small multiplicative
                  group},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {150},
  number       = {1-3},
  pages        = {1--18},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.apal.2007.06.002},
  doi          = {10.1016/J.APAL.2007.06.002},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BerensteinEG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/EalyO07,
  author       = {Clifton F. Ealy and
                  Alf Onshuus},
  title        = {Characterizing rosy theories},
  journal      = {J. Symb. Log.},
  volume       = {72},
  number       = {3},
  pages        = {919--940},
  year         = {2007},
  url          = {https://doi.org/10.2178/jsl/1191333848},
  doi          = {10.2178/JSL/1191333848},
  timestamp    = {Thu, 29 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/EalyO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}