Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

EM constructions for a class of generalized quantifiers

EM constructions for a class of generalized quantifiers We consider a class of Lindström extensions of first-order logic which are susceptible to a natural Skolemization procedure. In these logics Ehrenfeucht Mostowski (EM) functors for theories with arbitrarily large models can be obtained under suitable restrictions. Characteristic dependencies between algebraic properties of the quantifiers and the maximal domains of EM functors are investigated. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archive for Mathematical Logic Springer Journals

EM constructions for a class of generalized quantifiers

Archive for Mathematical Logic , Volume 31 (5) – Mar 23, 2005

Loading next page...
 
/lp/springer-journals/em-constructions-for-a-class-of-generalized-quantifiers-tYE26CCc0b

References (24)

Publisher
Springer Journals
Copyright
Copyright © 1992 by Springer-Verlag
Subject
Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
ISSN
0933-5846
eISSN
1432-0665
DOI
10.1007/BF01627507
Publisher site
See Article on Publisher Site

Abstract

We consider a class of Lindström extensions of first-order logic which are susceptible to a natural Skolemization procedure. In these logics Ehrenfeucht Mostowski (EM) functors for theories with arbitrarily large models can be obtained under suitable restrictions. Characteristic dependencies between algebraic properties of the quantifiers and the maximal domains of EM functors are investigated.

Journal

Archive for Mathematical LogicSpringer Journals

Published: Mar 23, 2005

There are no references for this article.