Stable theories in functional analysis

Model theory is the logical analysis of mathematical structures. The class of structures considered in model theory includes, among others, all structures from algebra, number theory, and finite-dimensional analysis. A limitation, however, is that this class does not include the families of structures that are studied functional analysis, e.g., Banach spaces, or operator algebras. This limitation lies in the fact that the discourse in analysis is carried out almost entirely in higher order logic, and the traditional logic of model theory is first order logic. Higher order logics do not have a powerful model theory.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Mathematics

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2011

Author dc:creator

• Iovino, Jose Nicolas

Contributors dc:contributor

• van den Dries, Lou

• Mathematics

Statement dc:rights

• Copyright 1994 Iovino, Jose Nicolas

Language dc:language

eng

Identifier

AAI9512412
(UMI)AAI9512412

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/19193