Approximation theory of uniqueness conditions by existence conditions (Q3705419)
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: Approximation theory of uniqueness conditions by existence conditions |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Approximation theory of uniqueness conditions by existence conditions |
scientific article |
Statements
Approximation theory of uniqueness conditions by existence conditions (English)
0 references
1984
0 references
elimination theorems of uniqueness conditions
0 references
Skolem functions
0 references
intuitionistic predicate calculus
0 references
approximation theorem on Henkin quantifiers
0 references
Vaught sentences
0 references
