Nonfinitizability of classes of representable cylindric algebras Journal Article uri icon

Overview

abstract

  • Cylindric algebras were introduced by Alfred Tarski about 1952 to provide an algebraic analysis of (first-order) predicate logic. With each cylindric algebra one can, in fact, associate a certain, in general infinitary, predicate logic; for locally finite cylindric algebras of infinite dimension the associated predicate logics are finitary. As with Boolean algebras and sentential logic, the algebraic counterpart of completeness is representability. Tarski proved the fundamental result that every locally finite cylindric algebra of infinite dimension is representable.

publication date

  • November 17, 1969

has restriction

  • closed

Date in CU Experts

  • September 19, 2013 11:26 AM

Full Author List

  • Donald Monk J

author count

  • 1

Other Profiles

International Standard Serial Number (ISSN)

  • 0022-4812

Electronic International Standard Serial Number (EISSN)

  • 1943-5886

Additional Document Info

start page

  • 331

end page

  • 343

volume

  • 34

issue

  • 3