- Tytuł:
- A model-theoretic version of the complement theorem : applications
- Autorzy:
- Nowak, K.
- Data publikacji:
- 1999
- Słowa kluczowe:
-
eliminacja kwantyfikatorów
funkcja rzeczywista analityczna
funkcje zmiennych zespolonych
logika pierwszego rzędu
model uzupełnień
przestrzeń analityczna
first-order logic
model-completeness
quantifier elimination
real analytic functions
real valuations
subanalytic functions
subanalytic sets - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł