Clifton F. Ealy

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 3

Top Topics

Piecewise Linear

Presburger Arithmetic

Relational Databases

Top Venues

Ann. Pure Appl. Log.

Notre Dame J. Formal Log.

Publications

Clifton F. Ealy, Jana Maríková
Quantifier elimination for o-minimal structures expanded by a valuational cut. Ann. Pure Appl. Log. 174 (2) (2023)
Clifton F. Ealy, Deirdre Haskell, Jana Maríková
Residue Field Domination in Real Closed Valued Fields. Notre Dame J. Formal Log. 60 (3) (2019)
Clifton F. Ealy, Jana Maríková
Model Completeness of O-Minimal Fields with Convex Valuations. J. Symb. Log. 80 (1) (2015)
Clifton F. Ealy, Alf Onshuus
Consistent amalgamation for þ-forking. Ann. Pure Appl. Log. 165 (2) (2014)
Clifton F. Ealy, Isaac Goldbring
Thorn-forking in continuous logic. J. Symb. Log. 77 (1) (2012)
Clifton F. Ealy, Krzysztof Krupinski, Anand Pillay
Superrosy dependent groups having finitely satisfiable generics. Ann. Pure Appl. Log. 151 (1) (2008)
Alexander Berenstein, Clifton F. Ealy, Ayhan Günaydin
Thorn independence in the field of real numbers with a small multiplicative group. Ann. Pure Appl. Log. 150 (1-3) (2007)
Clifton F. Ealy, Alf Onshuus
Characterizing rosy theories. J. Symb. Log. 72 (3) (2007)