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

On the Finitization Problem
by
Gábor Sági
Rényi Institute, Budapest H-1053 Reáltanoda u. 13-15, Hungary

  The Finitization Problem of Algebraic Logic is one of the central problems of the field which was discussed e.g. by Tarski, Givant, Monk, Maddux, Andréka, Németi and others.
  The algebraic form of the problem can be formulated as follows. "Is it possible to find a class K of algebras of relations such that K is finitely axiomatizable, every operation of K is permutation invariant and the usual connectives of First Order Logic are term definable in K ?"
  We will present some recently obtained results related to different variants and special cases of the Finitization Problem.

Date received: July 7, 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-18.