𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A topology for galois types in abstract elementary classes

✍ Scribed by Michael Lieberman

Publisher
John Wiley and Sons
Year
2011
Tongue
English
Weight
158 KB
Volume
57
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We exhibit a number of natural correspondences between the model-theoretic properties of classes and their constituent models and the topological properties of the associated spaces. Tameness of Galois types, in particular, emerges as a topological separation principle.

πŸ“œ SIMILAR VOLUMES

A numerical approach for solving a class
A numerical approach for solving a class of the nonlinear Lane–Emden type equations arising in astrophysics
✍ Şuayip YΓΌzbaşı πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 463 KB

In this paper, a collocation method based on the Bessel polynomials is presented for the approximate solution of a class of the nonlinear Lane-Emden type equations, which have many applications in mathematical physics. The exact solution can be obtained if the exact solution is polynomial. In other