Atlas home || Conferences | Abstracts | about Atlas

Algebras, Lattices, Varieties - A Conference in Honor of Walter Taylor
August 15-18, 2004
University of Colorado
Boulder, Colorado, USA

Organizers
Jennifer Hyndman, Keith Kearnes, Ralph McKenzie, George McNulty, Ágnes Szendrei, Ross Willard

View Abstracts
Conference Homepage

Algebraic treatment of first-order logic
by
Jan Mycielski
Department of Mathematics, University of Colorado at Boulder

There are at least two algebraic theories of first-order logic, namely the Henkin-Tarski cylindric algebras and the Halmos polyadic algebras. The purpose of this lecture is to point out that the formalism of Hilbert's epsilon symbols allows a third treatment using two sorted algebras. This algebraic format is simpler than the two mentioned above.

Date received: June 8, 2004

Copyright © 2004 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caoc-04.