|
|
(view preamble)
Cross-references: generalized quantifiers, similar, Henkin quantifier, branching, infinite, mean, logic, restriction, first order logic, limits, second order logic, satisfies, class, objects, range, simple, occurrences, bound variable, sentence, universe, contain, variable, formulas
There are 223 references to this entry.
This is version 14 of quantifier, born on 2002-08-25, modified 2008-01-29.
Object id is 3360, canonical name is Quantifier.
Accessed 30582 times total.
Classification:
| AMS MSC: | 03B10 (Mathematical logic and foundations :: General logic :: Classical first-order logic) | | | 03B15 (Mathematical logic and foundations :: General logic :: Higher-order logic and type theory) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
