SATURATED MODELS FOR THE WORKING MODEL THEORIST
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.
Gespeichert in:
| Veröffentlicht in: | The bulletin of symbolic logic 2023-06, Vol.29 (2), p.163-169 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 169 |
|---|---|
| container_issue | 2 |
| container_start_page | 163 |
| container_title | The bulletin of symbolic logic |
| container_volume | 29 |
| creator | HALEVI, YATIR KAPLAN, ITAY |
| description | 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. |
| doi_str_mv | 10.1017/bsl.2023.6 |
| format | Article |
| fullrecord | <record><control><sourceid>jstor_proqu</sourceid><recordid>TN_cdi_proquest_journals_2838530482</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><cupid>10_1017_bsl_2023_6</cupid><jstor_id>27226693</jstor_id><sourcerecordid>27226693</sourcerecordid><originalsourceid>FETCH-LOGICAL-c354t-fc95cc1baa37b02ed16049dee440a61b23df35d6dedec1bb2b9e1494acad39733</originalsourceid><addsrcrecordid>eNptkM9LwzAYhoMoOKcX70LBm9gtv5o2x7F1W3Fa6Do8hqRJZWWzM9kO_vemdOjF0_fx8vC-8ABwj-AIQRSPlduNMMRkxC7AAHFKwijh9NL_MOZhwhN2DW6cayBElNFoAMbrSbkpJmU6C17zWbpaB_O8CMplGrznxUv2tujjLsmLbF3egqta7py5O98h2MzTcroMV_kim05WYUUiegzrikdVhZSUJFYQG40YpFwbQymUDClMdE0izbTRxmMKK24Q5VRWUhMeEzIEj33vwbZfJ-OOomlP9tNPCpyQJCKQJthTTz1V2dY5a2pxsNu9tN8CQdEJEV6I6IQI5uGHHm7csbW_JI4xZox3k8_nMrlXdqs_zN_mP3U_bKlm2g</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2838530482</pqid></control><display><type>article</type><title>SATURATED MODELS FOR THE WORKING MODEL THEORIST</title><source>JSTOR Mathematics & Statistics</source><source>Jstor Complete Legacy</source><source>Cambridge University Press Journals Complete</source><creator>HALEVI, YATIR ; KAPLAN, ITAY</creator><creatorcontrib>HALEVI, YATIR ; KAPLAN, ITAY</creatorcontrib><description>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.</description><identifier>ISSN: 1079-8986</identifier><identifier>EISSN: 1943-5894</identifier><identifier>DOI: 10.1017/bsl.2023.6</identifier><language>eng</language><publisher>New York, USA: Cambridge University Press</publisher><subject>Hypotheses ; Set theory</subject><ispartof>The bulletin of symbolic logic, 2023-06, Vol.29 (2), p.163-169</ispartof><rights>The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic</rights><rights>The Author(s), 2023</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c354t-fc95cc1baa37b02ed16049dee440a61b23df35d6dedec1bb2b9e1494acad39733</citedby><orcidid>0000-0002-7032-1710 ; 0000-0001-8423-7504</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://www.jstor.org/stable/pdf/27226693$$EPDF$$P50$$Gjstor$$H</linktopdf><linktohtml>$$Uhttps://www.cambridge.org/core/product/identifier/S1079898623000069/type/journal_article$$EHTML$$P50$$Gcambridge$$H</linktohtml><link.rule.ids>164,314,778,782,801,830,27911,27912,55615,58004,58008,58237,58241</link.rule.ids></links><search><creatorcontrib>HALEVI, YATIR</creatorcontrib><creatorcontrib>KAPLAN, ITAY</creatorcontrib><title>SATURATED MODELS FOR THE WORKING MODEL THEORIST</title><title>The bulletin of symbolic logic</title><addtitle>Bull. symb. log</addtitle><description>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.</description><subject>Hypotheses</subject><subject>Set theory</subject><issn>1079-8986</issn><issn>1943-5894</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2023</creationdate><recordtype>article</recordtype><sourceid>8G5</sourceid><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GNUQQ</sourceid><sourceid>GUQSH</sourceid><sourceid>M2O</sourceid><recordid>eNptkM9LwzAYhoMoOKcX70LBm9gtv5o2x7F1W3Fa6Do8hqRJZWWzM9kO_vemdOjF0_fx8vC-8ABwj-AIQRSPlduNMMRkxC7AAHFKwijh9NL_MOZhwhN2DW6cayBElNFoAMbrSbkpJmU6C17zWbpaB_O8CMplGrznxUv2tujjLsmLbF3egqta7py5O98h2MzTcroMV_kim05WYUUiegzrikdVhZSUJFYQG40YpFwbQymUDClMdE0izbTRxmMKK24Q5VRWUhMeEzIEj33vwbZfJ-OOomlP9tNPCpyQJCKQJthTTz1V2dY5a2pxsNu9tN8CQdEJEV6I6IQI5uGHHm7csbW_JI4xZox3k8_nMrlXdqs_zN_mP3U_bKlm2g</recordid><startdate>20230601</startdate><enddate>20230601</enddate><creator>HALEVI, YATIR</creator><creator>KAPLAN, ITAY</creator><general>Cambridge University Press</general><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7XB</scope><scope>8FE</scope><scope>8FG</scope><scope>8FK</scope><scope>8G5</scope><scope>AABKS</scope><scope>ABJCF</scope><scope>ABSDQ</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>GNUQQ</scope><scope>GUQSH</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M2O</scope><scope>M7S</scope><scope>MBDVC</scope><scope>PADUT</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PTHSS</scope><scope>Q9U</scope><orcidid>https://orcid.org/0000-0002-7032-1710</orcidid><orcidid>https://orcid.org/0000-0001-8423-7504</orcidid></search><sort><creationdate>20230601</creationdate><title>SATURATED MODELS FOR THE WORKING MODEL THEORIST</title><author>HALEVI, YATIR ; KAPLAN, ITAY</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c354t-fc95cc1baa37b02ed16049dee440a61b23df35d6dedec1bb2b9e1494acad39733</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2023</creationdate><topic>Hypotheses</topic><topic>Set theory</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>HALEVI, YATIR</creatorcontrib><creatorcontrib>KAPLAN, ITAY</creatorcontrib><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>Research Library (Alumni Edition)</collection><collection>Philosophy Collection</collection><collection>Materials Science & Engineering Collection</collection><collection>Philosophy Database</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>ProQuest Central Student</collection><collection>Research Library Prep</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Engineering Collection</collection><collection>Research Library</collection><collection>Engineering Database</collection><collection>Research Library (Corporate)</collection><collection>Research Library China</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>Engineering Collection</collection><collection>ProQuest Central Basic</collection><jtitle>The bulletin of symbolic logic</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>HALEVI, YATIR</au><au>KAPLAN, ITAY</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>SATURATED MODELS FOR THE WORKING MODEL THEORIST</atitle><jtitle>The bulletin of symbolic logic</jtitle><addtitle>Bull. symb. log</addtitle><date>2023-06-01</date><risdate>2023</risdate><volume>29</volume><issue>2</issue><spage>163</spage><epage>169</epage><pages>163-169</pages><issn>1079-8986</issn><eissn>1943-5894</eissn><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.</abstract><cop>New York, USA</cop><pub>Cambridge University Press</pub><doi>10.1017/bsl.2023.6</doi><tpages>7</tpages><orcidid>https://orcid.org/0000-0002-7032-1710</orcidid><orcidid>https://orcid.org/0000-0001-8423-7504</orcidid><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1079-8986 |
| ispartof | The bulletin of symbolic logic, 2023-06, Vol.29 (2), p.163-169 |
| issn | 1079-8986 1943-5894 |
| language | eng |
| recordid | cdi_proquest_journals_2838530482 |
| source | JSTOR Mathematics & Statistics; Jstor Complete Legacy; Cambridge University Press Journals Complete |
| subjects | Hypotheses Set theory |
| title | SATURATED MODELS FOR THE WORKING MODEL THEORIST |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-15T21%3A23%3A50IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-jstor_proqu&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=SATURATED%20MODELS%20FOR%20THE%20WORKING%20MODEL%20THEORIST&rft.jtitle=The%20bulletin%20of%20symbolic%20logic&rft.au=HALEVI,%20YATIR&rft.date=2023-06-01&rft.volume=29&rft.issue=2&rft.spage=163&rft.epage=169&rft.pages=163-169&rft.issn=1079-8986&rft.eissn=1943-5894&rft_id=info:doi/10.1017/bsl.2023.6&rft_dat=%3Cjstor_proqu%3E27226693%3C/jstor_proqu%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2838530482&rft_id=info:pmid/&rft_cupid=10_1017_bsl_2023_6&rft_jstor_id=27226693&rfr_iscdi=true |