Topologies, Ranks, and Closures for Families of Theories. II
We describe topological properties, ranks, and closures as well as their dynamics for families of theories. Closures for families of theories are introduced based on sentences of the given theories. We look at properties of these closures and establish their relationship with standard closures. Valu...
Gespeichert in:
Veröffentlicht in: | Algebra and logic 2021-03, Vol.60 (1), p.38-52 |
---|---|
Hauptverfasser: | , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | We describe topological properties, ranks, and closures as well as their dynamics for families of theories. Closures for families of theories are introduced based on sentences of the given theories. We look at properties of these closures and establish their relationship with standard closures. Values of e
1
-spectra, as well as conditions for the existence of least generating sets, are characterized. Closures for linearly ordered families of theories are examined. |
---|---|
ISSN: | 0002-5232 1573-8302 |
DOI: | 10.1007/s10469-021-09626-y |