Elementary categories (Q1115956): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Set OpenAlex properties.
 
(4 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Jiří Rosický / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Jiří Rosický / rank
Normal rank
 
Property / author
 
Property / author: Jiří Rosický / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Jiří Rosický / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: More on Compact Hausdorff Spaces and Finitary Duality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4111746 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lokal präsentierbare Kategorien. (Locally presentable categories) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some Results on Locally Finitely Presentable Categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Limites in Kategorien von Relationalsystemen / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/bf01194392 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4254571237 / rank
 
Normal rank

Latest revision as of 10:16, 30 July 2024

scientific article
Language Label Description Also known as
English
Elementary categories
scientific article

    Statements

    Elementary categories (English)
    0 references
    1989
    0 references
    The paper contributes to the problem of characterizing categories of models of usual one-sorted finitary first-order theories. Any locally finitely presentable category with a finitely presentable generator is of this kind. Surprisingly, the same is true for any category of many-sorted sets. (This result was further developed by \textit{G. Jarzembski} [Finitary fibrations, Cah. Topologie Géom. Differ. (to appear)].) Finally, Bankston's conjecture is proved (independently of \textit{B. Banaschewski} [Can. J. Math. 36, 1113-1118 (1984; Zbl 0561.18004)]).
    0 references
    compact Hausdorff space
    0 references
    categories of models
    0 references
    one-sorted finitary first- order theories
    0 references
    locally finitely presentable category
    0 references
    finitely presentable generator
    0 references
    category of many-sorted sets
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references