UNIFORM EXTENSION OPERATORS FOR MODELS AND THEIR APPLICATIONS.
HEBREW UNIV JERUSALEM (ISRAEL)
Pagination or Media Count:
The notion of an operator which maps in a uniform way every model in its domain to a proper elementary extension, is defined. Applications concerning models with many automorphisms, as well as the structure of models of Peanos arithmetic are proved. Author
- Numerical Mathematics