Induced Cylindric Algebras of Choice Structures

Details Induced Cylindric Algebras of Choice Structures Induced Cylindric Algebras of Choice Structures

2011-07-13

arxiv.org/abs/1107.2603v1

Mathematics

Logic

8 pages, to appear, Bulletin of the Section of Logic, 2011, 3-4

Scientific paper

One of the benefit properties implied by the extensionality axiom of Hilbert's epsilon calculus is that the calculus becomes complete with respect to the choice structures as semantics. Another implication of the axiom, discussed in the paper, is that an algebra is induced over the universe of the canonical model of a theory, which is isomorphic to a quotient algebra of the Lindenbaum--Tarski algebra of the theory. Especially, in the case of Boolean or monadic algebras, the canonical model of the theory of a sigma complete model is isomorphic to the algebra induced by the axiom of extensionality.

Affiliated with

Also associated with

No associations

Rating

Induced Cylindric Algebras of Choice Structures does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Induced Cylindric Algebras of Choice Structures, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Induced Cylindric Algebras of Choice Structures will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-166327