The Journal of Symbolic Logic最新文献

筛选
英文 中文
ARTIN–SCHREIER EXTENSIONS AND COMBINATORIAL COMPLEXITY IN HENSELIAN VALUED FIELDS 阿尔廷-施莱尔扩展与亨塞尔有价域的组合复杂性
The Journal of Symbolic Logic Pub Date : 2024-09-03 DOI: 10.1017/jsl.2024.34
BLAISE BOISSONNEAU
{"title":"ARTIN–SCHREIER EXTENSIONS AND COMBINATORIAL COMPLEXITY IN HENSELIAN VALUED FIELDS","authors":"BLAISE BOISSONNEAU","doi":"10.1017/jsl.2024.34","DOIUrl":"https://doi.org/10.1017/jsl.2024.34","url":null,"abstract":"<p>We give explicit formulas witnessing IP, IP<span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240911114232841-0471:S0022481224000343:S0022481224000343_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$_{!n}$</span></span></img></span></span>, or TP2 in fields with Artin–Schreier extensions. We use them to control <span>p</span>-extensions of mixed characteristic henselian valued fields, allowing us most notably to generalize to the NIP<span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240911114232841-0471:S0022481224000343:S0022481224000343_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$_{!n}$</span></span></img></span></span> context one way of Anscombe–Jahnke’s classification of NIP henselian valued fields. As a corollary, we obtain that NIP<span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240911114232841-0471:S0022481224000343:S0022481224000343_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$_{!n}$</span></span></img></span></span> henselian valued fields with NIP residue field are NIP. We also discuss tameness results for NTP2 henselian valued fields.</p>","PeriodicalId":501300,"journal":{"name":"The Journal of Symbolic Logic","volume":"16 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142183808","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
BUILDING MODELS IN SMALL CARDINALS IN LOCAL ABSTRACT ELEMENTARY CLASSES 在局部抽象初等类的小红心中建立模型
The Journal of Symbolic Logic Pub Date : 2024-04-29 DOI: 10.1017/jsl.2024.32
MARCOS MAZARI-ARMIDA, WENTAO YANG
{"title":"BUILDING MODELS IN SMALL CARDINALS IN LOCAL ABSTRACT ELEMENTARY CLASSES","authors":"MARCOS MAZARI-ARMIDA, WENTAO YANG","doi":"10.1017/jsl.2024.32","DOIUrl":"https://doi.org/10.1017/jsl.2024.32","url":null,"abstract":"&lt;p&gt;There are many results in the literature where superstablity-like independence notions, without any categoricity assumptions, have been used to show the existence of larger models. In this paper we show that &lt;span&gt;stability&lt;/span&gt; is enough to construct larger models for small cardinals assuming a mild locality condition for Galois types.&lt;span&gt;Theorem 0.1.&lt;/span&gt;&lt;p&gt;Suppose &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240904081418552-0865:S002248122400032X:S002248122400032X_inline1.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$lambda &lt;2^{aleph _0}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;. Let &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240904081418552-0865:S002248122400032X:S002248122400032X_inline2.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;${mathbf {K}}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; be an abstract elementary class with &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240904081418552-0865:S002248122400032X:S002248122400032X_inline3.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$lambda geq {operatorname {LS}}({mathbf {K}})$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;. Assume &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240904081418552-0865:S002248122400032X:S002248122400032X_inline4.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;${mathbf {K}}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; has amalgamation in &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240904081418552-0865:S002248122400032X:S002248122400032X_inline5.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$lambda $&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;, no maximal model in &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240904081418552-0865:S002248122400032X:S002248122400032X_inline6.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$lambda $&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;, and is stable in &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240904081418552-0865:S002248122400032X:S002248122400032X_inline7.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$lambda $&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;. If &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240904081418552-0865:S002248122400032X:S002248122400032X_inline8.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;${mathbf {K}}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; is &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id","PeriodicalId":501300,"journal":{"name":"The Journal of Symbolic Logic","volume":"34 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142183807","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
ONE-DIMENSIONAL SUBGROUPS AND CONNECTED COMPONENTS IN NON-ABELIAN p-ADIC DEFINABLE GROUPS 非阿贝尔 p-ADIC 可定义群中的一维子群和连接子群
The Journal of Symbolic Logic Pub Date : 2024-04-29 DOI: 10.1017/jsl.2024.31
WILLIAM JOHNSON, NINGYUAN YAO
{"title":"ONE-DIMENSIONAL SUBGROUPS AND CONNECTED COMPONENTS IN NON-ABELIAN p-ADIC DEFINABLE GROUPS","authors":"WILLIAM JOHNSON, NINGYUAN YAO","doi":"10.1017/jsl.2024.31","DOIUrl":"https://doi.org/10.1017/jsl.2024.31","url":null,"abstract":"<p>We generalize two of our previous results on abelian definable groups in <span>p</span>-adically closed fields [12, 13] to the non-abelian case. First, we show that if <span>G</span> is a definable group that is not definably compact, then <span>G</span> has a one-dimensional definable subgroup which is not definably compact. This is a <span>p</span>-adic analogue of the Peterzil–Steinhorn theorem for o-minimal theories [16]. Second, we show that if <span>G</span> is a group definable over the standard model <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513074612283-0489:S0022481224000318:S0022481224000318_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$mathbb {Q}_p$</span></span></img></span></span>, then <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513074612283-0489:S0022481224000318:S0022481224000318_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$G^0 = G^{00}$</span></span></img></span></span>. As an application, definably amenable groups over <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513074612283-0489:S0022481224000318:S0022481224000318_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$mathbb {Q}_p$</span></span></img></span></span> are open subgroups of algebraic groups, up to finite factors. We also prove that <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240513074612283-0489:S0022481224000318:S0022481224000318_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$G^0 = G^{00}$</span></span></img></span></span> when <span>G</span> is a definable subgroup of a linear algebraic group, over any model.</p>","PeriodicalId":501300,"journal":{"name":"The Journal of Symbolic Logic","volume":"38 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140927122","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Generic Expansions of Geometric Theories 几何理论的通用扩展
The Journal of Symbolic Logic Pub Date : 2024-04-18 DOI: 10.1017/jsl.2024.30
S. Jalili, M. Pourmahdian, N. R. Tavana
{"title":"Generic Expansions of Geometric Theories","authors":"S. Jalili, M. Pourmahdian, N. R. Tavana","doi":"10.1017/jsl.2024.30","DOIUrl":"https://doi.org/10.1017/jsl.2024.30","url":null,"abstract":"","PeriodicalId":501300,"journal":{"name":"The Journal of Symbolic Logic","volume":" 2","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140686353","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
THE DEFINABILITY OF THE EXTENDER SEQUENCE FROM IN 中的扩展序列的可定义性。
The Journal of Symbolic Logic Pub Date : 2024-04-15 DOI: 10.1017/jsl.2024.27
Farmer Schlutzenberg
{"title":"THE DEFINABILITY OF THE EXTENDER SEQUENCE FROM IN","authors":"Farmer Schlutzenberg","doi":"10.1017/jsl.2024.27","DOIUrl":"https://doi.org/10.1017/jsl.2024.27","url":null,"abstract":"","PeriodicalId":501300,"journal":{"name":"The Journal of Symbolic Logic","volume":"60 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140700208","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Discontinuous Homomorphisms of with 的不连续同构
The Journal of Symbolic Logic Pub Date : 2024-04-15 DOI: 10.1017/jsl.2024.28
Bob A. Dumas
{"title":"Discontinuous Homomorphisms of with","authors":"Bob A. Dumas","doi":"10.1017/jsl.2024.28","DOIUrl":"https://doi.org/10.1017/jsl.2024.28","url":null,"abstract":"","PeriodicalId":501300,"journal":{"name":"The Journal of Symbolic Logic","volume":"53 10","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140699506","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
THE AMALGAMATION PROPERTY AND URYSOHN STRUCTURES IN CONTINUOUS LOGIC 连续逻辑中的合并性质和乌尔苏恩结构
The Journal of Symbolic Logic Pub Date : 2024-04-12 DOI: 10.1017/jsl.2024.26
SU Gao, Xuanzhi Ren
{"title":"THE AMALGAMATION PROPERTY AND URYSOHN STRUCTURES IN CONTINUOUS LOGIC","authors":"SU Gao, Xuanzhi Ren","doi":"10.1017/jsl.2024.26","DOIUrl":"https://doi.org/10.1017/jsl.2024.26","url":null,"abstract":"","PeriodicalId":501300,"journal":{"name":"The Journal of Symbolic Logic","volume":"7 15","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140711950","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
MORE ON GALOIS COHOMOLOGY, DEFINABILITY, AND DIFFERENTIAL ALGEBRAIC GROUPS 关于伽罗瓦同调、可定义性和微分代数群的更多信息
The Journal of Symbolic Logic Pub Date : 2024-04-11 DOI: 10.1017/jsl.2024.25
OMAR LEÓN SÁNCHEZ, DAVID MERETZKY, ANAND PILLAY
{"title":"MORE ON GALOIS COHOMOLOGY, DEFINABILITY, AND DIFFERENTIAL ALGEBRAIC GROUPS","authors":"OMAR LEÓN SÁNCHEZ, DAVID MERETZKY, ANAND PILLAY","doi":"10.1017/jsl.2024.25","DOIUrl":"https://doi.org/10.1017/jsl.2024.25","url":null,"abstract":"<p>As a continuation of the work of the third author in [5], we make further observations on the features of Galois cohomology in the general model theoretic context. We make explicit the connection between forms of definable groups and first cohomology sets with coefficients in a suitable automorphism group. We then use a method of twisting cohomology (inspired by Serre’s algebraic twisting) to describe arbitrary fibres in cohomology sequences—yielding a useful “finiteness” result on cohomology sets.</p><p>Applied to the special case of differential fields and Kolchin’s constrained cohomology, we complete results from [3] by proving that the first constrained cohomology set of a differential algebraic group over a bounded, differentially large, field is countable.</p>","PeriodicalId":501300,"journal":{"name":"The Journal of Symbolic Logic","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140802408","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A SINGLETON OF MINIMAL ARITHMETIC DEGREE 最小算术等级的单子
The Journal of Symbolic Logic Pub Date : 2024-04-08 DOI: 10.1017/jsl.2024.23
Peter M. Gerdes
{"title":"A SINGLETON OF MINIMAL ARITHMETIC DEGREE","authors":"Peter M. Gerdes","doi":"10.1017/jsl.2024.23","DOIUrl":"https://doi.org/10.1017/jsl.2024.23","url":null,"abstract":"","PeriodicalId":501300,"journal":{"name":"The Journal of Symbolic Logic","volume":"28 2","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140728911","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
NONDEFINABILITY RESULTS FOR ELLIPTIC AND MODULAR FUNCTIONS 椭圆函数和模函数的不可定义性结果
The Journal of Symbolic Logic Pub Date : 2024-04-03 DOI: 10.1017/jsl.2024.22
RAYMOND MCCULLOCH
{"title":"NONDEFINABILITY RESULTS FOR ELLIPTIC AND MODULAR FUNCTIONS","authors":"RAYMOND MCCULLOCH","doi":"10.1017/jsl.2024.22","DOIUrl":"https://doi.org/10.1017/jsl.2024.22","url":null,"abstract":"&lt;p&gt;Let &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240904075918471-0566:S0022481224000227:S0022481224000227_inline1.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$Omega $&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; be a complex lattice which does not have complex multiplication and &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240904075918471-0566:S0022481224000227:S0022481224000227_inline2.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$wp =wp _Omega $&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; the Weierstrass &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240904075918471-0566:S0022481224000227:S0022481224000227_inline3.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$wp $&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;-function associated with it. Let &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240904075918471-0566:S0022481224000227:S0022481224000227_inline4.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$Dsubseteq mathbb {C}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; be a disc and &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240904075918471-0566:S0022481224000227:S0022481224000227_inline5.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$Isubseteq mathbb {R}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; be a bounded closed interval such that &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240904075918471-0566:S0022481224000227:S0022481224000227_inline6.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$Icap Omega =varnothing $&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;. Let &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240904075918471-0566:S0022481224000227:S0022481224000227_inline7.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$f:Drightarrow mathbb {C}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt; be a function definable in &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240904075918471-0566:S0022481224000227:S0022481224000227_inline8.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$(overline {mathbb {R}},wp |_I)$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span&gt;&lt;/span&gt;. We show that if &lt;span&gt;f&lt;/span&gt; is holomorphic on &lt;span&gt;D&lt;/span&gt; then &lt;span&gt;f&lt;/span&gt; is definable in &lt;span&gt;&lt;span&gt;&lt;img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240904075918471-0566:S0022481224000227:S0022481224000227_inline9.png\"&gt;&lt;span data-mathjax-type=\"texmath\"&gt;&lt;span&gt;$overline {mathbb {R}}$&lt;/span&gt;&lt;/span&gt;&lt;/img&gt;&lt;/span","PeriodicalId":501300,"journal":{"name":"The Journal of Symbolic Logic","volume":"60 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142223932","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信