极端类型和极端模型

IF 0.6 2区数学 Q2 LOGIC

Annals of Pure and Applied Logic Pub Date : 2024-04-12 DOI:10.1016/j.apal.2024.103451

Seyed-Mohammad Bagheri

{"title":"极端类型和极端模型","authors":"Seyed-Mohammad Bagheri","doi":"10.1016/j.apal.2024.103451","DOIUrl":null,"url":null,"abstract":"<div>In the affine fragment of continuous logic, type spaces are compact convex sets. I study some model theoretic properties of extreme types. It is proved that every complete theory T has an extremal model, i.e. a model which realizes only extreme types. Extremal models form an elementary class in the full continuous logic sense if and only if the set of extreme n-types is closed in <math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>T</mi><mo>)</mo></math> for each n. Also, some applications are given in the special cases where the theory has a compact or first order model.</div>","PeriodicalId":50762,"journal":{"name":"Annals of Pure and Applied Logic","volume":null,"pages":null},"PeriodicalIF":0.6000,"publicationDate":"2024-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Extreme types and extremal models\",\"authors\":\"Seyed-Mohammad Bagheri\",\"doi\":\"10.1016/j.apal.2024.103451\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div>In the affine fragment of continuous logic, type spaces are compact convex sets. I study some model theoretic properties of extreme types. It is proved that every complete theory T has an extremal model, i.e. a model which realizes only extreme types. Extremal models form an elementary class in the full continuous logic sense if and only if the set of extreme n-types is closed in <math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>(</mo><mi>T</mi><mo>)</mo></math> for each n. Also, some applications are given in the special cases where the theory has a compact or first order model.</div>\",\"PeriodicalId\":50762,\"journal\":{\"name\":\"Annals of Pure and Applied Logic\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2024-04-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Annals of Pure and Applied Logic\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0168007224000496\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Annals of Pure and Applied Logic","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0168007224000496","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 0

摘要

在连续逻辑的仿射片段中，类型空间是紧凑的凸集。我研究了极端类型的一些模型论性质。研究证明，每个完整理论都有一个极值模型，即一个只实现极值类型的模型。当且仅当极端类型的集合闭合于每一个......时，极端模型才构成完全连续逻辑意义上的一个基本类。此外，我们还给出了在理论具有紧凑模型或一阶模型的特殊情况下的一些应用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Extreme types and extremal models

In the affine fragment of continuous logic, type spaces are compact convex sets. I study some model theoretic properties of extreme types. It is proved that every complete theory T has an extremal model, i.e. a model which realizes only extreme types. Extremal models form an elementary class in the full continuous logic sense if and only if the set of extreme n-types is closed in $S_{n} (T)$ for each n. Also, some applications are given in the special cases where the theory has a compact or first order model.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Annals of Pure and Applied Logic 数学-数学

CiteScore

1.40

自引率

12.50%

发文量

审稿时长

200 days

期刊介绍： The journal Annals of Pure and Applied Logic publishes high quality papers in all areas of mathematical logic as well as applications of logic in mathematics, in theoretical computer science and in other related disciplines. All submissions to the journal should be mathematically correct, well written (preferably in English)and contain relevant new results that are of significant interest to a substantial number of logicians. The journal also considers submissions that are somewhat too long to be published by other journals while being too short to form a separate memoir provided that they are of particular outstanding quality and broad interest. In addition, Annals of Pure and Applied Logic occasionally publishes special issues of selected papers from well-chosen conferences in pure and applied logic.