为工作模型理论家准备的饱和模型

The Bulletin of Symbolic Logic Pub Date : 2021-12-06 DOI:10.1017/bsl.2023.6

Yatir Halevi, Itay Kaplan

{"title":"为工作模型理论家准备的饱和模型","authors":"Yatir Halevi, Itay Kaplan","doi":"10.1017/bsl.2023.6","DOIUrl":null,"url":null,"abstract":"Abstract We put in print a classical result that states that for most purposes, there is no harm in assuming the existence of saturated models in model theory. The presentation is aimed for model theorists with only basic knowledge of axiomatic set theory.","PeriodicalId":22265,"journal":{"name":"The Bulletin of Symbolic Logic","volume":"63 1","pages":"163 - 169"},"PeriodicalIF":0.0000,"publicationDate":"2021-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"SATURATED MODELS FOR THE WORKING MODEL THEORIST\",\"authors\":\"Yatir Halevi, Itay Kaplan\",\"doi\":\"10.1017/bsl.2023.6\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Abstract We put in print a classical result that states that for most purposes, there is no harm in assuming the existence of saturated models in model theory. The presentation is aimed for model theorists with only basic knowledge of axiomatic set theory.\",\"PeriodicalId\":22265,\"journal\":{\"name\":\"The Bulletin of Symbolic Logic\",\"volume\":\"63 1\",\"pages\":\"163 - 169\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-12-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"The Bulletin of Symbolic Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1017/bsl.2023.6\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"The Bulletin of Symbolic Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1017/bsl.2023.6","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 8

摘要

摘要:我们发表了一个经典的结果，该结果表明，在大多数情况下，在模型理论中假设饱和模型的存在是没有害处的。本报告的目的是为模型理论家只有公理集理论的基本知识。

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

SATURATED MODELS FOR THE WORKING MODEL THEORIST

Abstract We put in print a classical result that states that for most purposes, there is no harm in assuming the existence of saturated models in model theory. The presentation is aimed for model theorists with only basic knowledge of axiomatic set theory.

求助全文

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

来源期刊

The Bulletin of Symbolic Logic

自引率

0.00%

发文量

期刊最新文献

POUR-EL’S LANDSCAPE CATEGORICAL QUANTIFICATION POINCARÉ-WEYL’S PREDICATIVITY: GOING BEYOND A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp.