Classification Theory for Abstract Elementary Classes
Une classe élémentaire abstraite est une classe de structures de même vocabulaire (comme une classe d'anneaux, ou une classe de champs), avec un ordre partiel qui généralise la relation « A est une sous-structure (ou une sous-structure élémentaire) de B ».
Nous exigeons que la classe soit fermée par isomorphisme et que les structures isomorphes aient des sous-structures (généralisées) isomorphes ; nous exigeons également que nos classes partagent certaines des propriétés les plus fondamentales des classes élémentaires, comme la fermeture par unions de chaînes croissantes de sous-structures. Nous aimerions classer cette famille générale, dans le sens de prouver des dichotomies : soit nous pouvons comprendre la structure de tous les modèles de notre classe, soit il y en a beaucoup dans une certaine mesure.
Plus précisément, nous aimerions généraliser la théorie de la catégoricité et de la superstabilité dans ce contexte.
© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)