Seminars and Colloquia

Logic Seminar

Oct 2

Logic Seminar

04:45 pm

Exley Science Center Tower ESC 638

Sep 26

Logic Seminar

04:45 pm

Exley Science Center Tower ESC 638

Philip Scowcroft, Wes: " Abelian lattice-ordered groups with at most finitely many pairwise disjoint elements." Abstract : Conrads characterization (1960) of the lattice-ordered groups with at most finitely many pairwise disjoint elements yields model-completions for various theories of such groups. A corresponding Nullstellensatz, and various quantifier-elimination results, assume stronger forms when restricted to special groups in the class.