Henkin and function quantifiers (Q1121872)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Henkin and function quantifiers |
scientific article; zbMATH DE number 4104936
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Henkin and function quantifiers |
scientific article; zbMATH DE number 4104936 |
Statements
Henkin and function quantifiers (English)
0 references
1989
0 references
The authors introduce a variant of the Henkin quantifier, called function quantifier. Function quantifiers can express such notions as well- ordering, power set, and they are stronger than their corresponding Chang-Magidor-Malitz quantifiers. Suitable generalizations of function quantifiers are put in relation with partially ordered quantifiers, and their relative expressive powers are compared. In the final section, the authors concentrate on sublogics only containing unary predicates.
0 references
monadic fragment
0 references
Henkin quantifier
0 references
function quantifier
0 references
well-ordering
0 references
power set
0 references
partially ordered quantifiers
0 references
expressive powers
0 references
sublogics only containing unary predicates
0 references
