CINXE.COM

<?xml version="1.0" encoding="UTF-8"?><rdf:RDF xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:atom="http://www.w3.org/2005/Atom" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:admin="http://webns.net/mvcb/" xmlns:prism="http://prismstandard.org/namespaces/basic/2.0/"><channel rdf:about="https://cambridge.org/core/rss/product/id/F7268973893D3981F1B17A2E10347229"><title><![CDATA[Bulletin of Symbolic Logic]]></title><description><![CDATA[The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible. It is designed to cover all areas within the purview of the ASL: mathematical logic and its applications, philosophical and non-classical logic and its applications, history and philosophy of logic, and philosophy and methodology of mathematics. The Bulletin of Symbolic Logic primarily publishes two types of papers: Articles presenting topics of broad interest in a way that is accessible to a large audience; and Communications which are announcements of important new results and ideas in any aspect of logic. The Bulletin also publishes a Reviews Section (edited by Graham Leach-Kouse), a Thesis Abstract Section (edited by Christian Rosendal) and reports of ASL meetings, Notices of interest to logicians, and the annual listing of ASL officers, Council members, committee members, and individual and institutional members of the Association.]]></description><link>https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/latest-issue</link><prism:publicationName>Bulletin of Symbolic Logic</prism:publicationName><prism:issn>10798986</prism:issn><prism:eissn>19435894</prism:eissn><admin:generatorAgent rdf:resource="https://www.cambridge.org/core"/><dc:publisher>Cambridge University Press</dc:publisher><image rdf:resource="https://www.cambridge.org/core/cambridge-core/public/images/favicon.ico"/><items><rdf:Seq><rdf:li rdf:resource="https://dx.doi.org/10.1017/bsl.2024.7?rft_dat=source%3Ddrss"/><rdf:li rdf:resource="https://dx.doi.org/10.1017/bsl.2024.23?rft_dat=source%3Ddrss"/><rdf:li rdf:resource="https://dx.doi.org/10.1017/bsl.2024.3?rft_dat=source%3Ddrss"/><rdf:li rdf:resource="https://dx.doi.org/10.1017/bsl.2024.22?rft_dat=source%3Ddrss"/><rdf:li rdf:resource="https://dx.doi.org/10.1017/bsl.2024.5?rft_dat=source%3Ddrss"/><rdf:li rdf:resource="https://dx.doi.org/10.1017/bsl.2024.13?rft_dat=source%3Ddrss"/><rdf:li rdf:resource="https://dx.doi.org/10.1017/bsl.2024.10?rft_dat=source%3Ddrss"/><rdf:li rdf:resource="https://dx.doi.org/10.1017/bsl.2024.11?rft_dat=source%3Ddrss"/><rdf:li rdf:resource="https://dx.doi.org/10.1017/bsl.2024.25?rft_dat=source%3Ddrss"/><rdf:li rdf:resource="https://dx.doi.org/10.1017/bsl.2024.36?rft_dat=source%3Ddrss"/><rdf:li rdf:resource="https://dx.doi.org/10.1017/bsl.2024.38?rft_dat=source%3Ddrss"/><rdf:li rdf:resource="https://dx.doi.org/10.1017/bsl.2024.37?rft_dat=source%3Ddrss"/><rdf:li rdf:resource="https://dx.doi.org/10.1017/bsl.2024.34?rft_dat=source%3Ddrss"/><rdf:li rdf:resource="https://dx.doi.org/10.1017/bsl.2024.50?rft_dat=source%3Ddrss"/><rdf:li rdf:resource="https://dx.doi.org/10.1017/bsl.2024.51?rft_dat=source%3Ddrss"/></rdf:Seq></items></channel><item rdf:about="https://dx.doi.org/10.1017/bsl.2024.7?rft_dat=source%3Ddrss"><title><![CDATA[THE UNIVERSAL THEORY OF THE HYPERFINITE II$_1$ FACTOR IS NOT COMPUTABLE]]></title><description><![CDATA[<div class="abstract" data-abstract-type="normal">We show that the universal theory of the hyperfinite II<img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000076:S1079898624000076_inline2.png'> factor is not computable. The proof uses the recent result that MIP*=RE. Combined with an earlier observation of the authors, this yields a proof that the Connes Embedding Problem has a negative solution that avoids the equivalences with Kirchberg’s QWEP Conjecture and Tsirelson’s Problem.</div>]]></description><link>https://dx.doi.org/10.1017/bsl.2024.7?rft_dat=source%3Ddrss</link><dc:identifier>doi:10.1017/bsl.2024.7</dc:identifier><dc:title>THE UNIVERSAL THEORY OF THE HYPERFINITE II$_1$ FACTOR IS NOT COMPUTABLE</dc:title><prism:startingPage>181</prism:startingPage><prism:endingPage>198</prism:endingPage><prism:doi>10.1017/bsl.2024.7</prism:doi><prism:url>https://dx.doi.org/10.1017/bsl.2024.7?rft_dat=source%3Ddrss</prism:url><prism:publicationDate>2024-02-16</prism:publicationDate><prism:volume></prism:volume><prism:number></prism:number><prism:publicationTitle>Bulletin of Symbolic Logic</prism:publicationTitle><dc:date>2024-02-16</dc:date><dc:creator>GOLDBRING, ISAAC</dc:creator><dc:creator>HART, BRADD</dc:creator></item><item rdf:about="https://dx.doi.org/10.1017/bsl.2024.23?rft_dat=source%3Ddrss"><title><![CDATA[ITERATED PRIORITY ARGUMENTS IN DESCRIPTIVE SET THEORY]]></title><description><![CDATA[<div class="abstract" data-abstract-type="normal">We present the true stages machinery and illustrate its applications to descriptive set theory. We use this machinery to provide new proofs of the Hausdorff–Kuratowski and Wadge theorems on the structure of <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000234:S1079898624000234_inline1.png'>, Louveau and Saint Raymond’s separation theorem, and Louveau’s separation theorem.</div>]]></description><link>https://dx.doi.org/10.1017/bsl.2024.23?rft_dat=source%3Ddrss</link><dc:identifier>doi:10.1017/bsl.2024.23</dc:identifier><dc:title>ITERATED PRIORITY ARGUMENTS IN DESCRIPTIVE SET THEORY</dc:title><prism:startingPage>199</prism:startingPage><prism:endingPage>226</prism:endingPage><prism:doi>10.1017/bsl.2024.23</prism:doi><prism:url>https://dx.doi.org/10.1017/bsl.2024.23?rft_dat=source%3Ddrss</prism:url><prism:publicationDate>2024-04-08</prism:publicationDate><prism:volume></prism:volume><prism:number></prism:number><prism:publicationTitle>Bulletin of Symbolic Logic</prism:publicationTitle><dc:date>2024-04-08</dc:date><dc:creator>DAY, ADAM</dc:creator><dc:creator>GREENBERG, NOAM</dc:creator><dc:creator>HARRISON-TRAINOR, MATTHEW</dc:creator><dc:creator>TURETSKY, DAN</dc:creator></item><item rdf:about="https://dx.doi.org/10.1017/bsl.2024.3?rft_dat=source%3Ddrss"><title><![CDATA[CATEGORICAL QUANTIFICATION]]></title><description><![CDATA[<div class="abstract" data-abstract-type="normal">Due to Gödel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments—Warren [43] and Murzi and Topey [30]—for the idea that the natural deduction rules for the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s [19] local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e., non-compact. Consequently, I reconsider the use of the <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000039:S1079898624000039_inline1.png'>-rule and I show that the addition of the <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000039:S1079898624000039_inline2.png'>-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. </div>]]></description><link>https://dx.doi.org/10.1017/bsl.2024.3?rft_dat=source%3Ddrss</link><dc:identifier>doi:10.1017/bsl.2024.3</dc:identifier><dc:title>CATEGORICAL QUANTIFICATION</dc:title><prism:startingPage>227</prism:startingPage><prism:endingPage>252</prism:endingPage><prism:doi>10.1017/bsl.2024.3</prism:doi><prism:url>https://dx.doi.org/10.1017/bsl.2024.3?rft_dat=source%3Ddrss</prism:url><prism:publicationDate>2024-01-24</prism:publicationDate><prism:volume></prism:volume><prism:number></prism:number><prism:publicationTitle>Bulletin of Symbolic Logic</prism:publicationTitle><dc:date>2024-01-24</dc:date><dc:creator>BRÎNCUŞ, CONSTANTIN C.</dc:creator></item><item rdf:about="https://dx.doi.org/10.1017/bsl.2024.22?rft_dat=source%3Ddrss"><title><![CDATA[ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS]]></title><description><![CDATA[<div class="abstract" data-abstract-type="normal">The one-variable fragment of a first-order logic may be viewed as an “S5-like” modal logic, where the universal and existential quantifiers are replaced by box and diamond modalities, respectively. Axiomatizations of these modal logics have been obtained for special cases—notably, the modal counterparts <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000222:S1079898624000222_inline1.png'> and <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000222:S1079898624000222_inline2.png'> of the one-variable fragments of first-order classical logic and first-order intuitionistic logic, respectively—but a general approach, extending beyond first-order intermediate logics, has been lacking. To this end, a sufficient criterion is given in this paper for the one-variable fragment of a semantically defined first-order logic—spanning families of intermediate, substructural, many-valued, and modal logics—to admit a certain natural axiomatization. More precisely, an axiomatization is obtained for the one-variable fragment of any first-order logic based on a variety of algebraic structures with a lattice reduct that has the superamalgamation property, using a generalized version of a functional representation theorem for monadic Heyting algebras due to Bezhanishvili and Harding. An alternative proof-theoretic strategy for obtaining such axiomatization results is also developed for first-order substructural logics that have a cut-free sequent calculus and admit a certain interpolation property.</div>]]></description><link>https://dx.doi.org/10.1017/bsl.2024.22?rft_dat=source%3Ddrss</link><dc:identifier>doi:10.1017/bsl.2024.22</dc:identifier><dc:title>ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS</dc:title><prism:startingPage>253</prism:startingPage><prism:endingPage>278</prism:endingPage><prism:doi>10.1017/bsl.2024.22</prism:doi><prism:url>https://dx.doi.org/10.1017/bsl.2024.22?rft_dat=source%3Ddrss</prism:url><prism:publicationDate>2024-04-01</prism:publicationDate><prism:volume></prism:volume><prism:number></prism:number><prism:publicationTitle>Bulletin of Symbolic Logic</prism:publicationTitle><dc:date>2024-04-01</dc:date><dc:creator>CINTULA, PETR</dc:creator><dc:creator>METCALFE, GEORGE</dc:creator><dc:creator>TOKUDA, NAOMI</dc:creator></item><item rdf:about="https://dx.doi.org/10.1017/bsl.2024.5?rft_dat=source%3Ddrss"><title><![CDATA[COMPACTNESS OFAND STRONG AXIOMS OF DETERMINACY - N. Trang, Structure theory ofand its applications. Journal of Symbolic Logic, vol. 80 (2015), no. 1, pp. 29–55. - N. Trang, Supercompactness can be equiconsistent with measurability. Notre Dame Journal of Formal Logic, vol. 62 (2021), no. 4, pp. 593–618. - N. Trang and T. Wilson, Determinacy from strong compactness of . Annals of Pure and Applied Logic, vol. 172 (2021), no. 6, Article no. 102944, 30pp. - D. Ikegami and N. Trang, On supercompactness of $\omega _1$, Advances in Mathematical Logic (T. Arai, M. Kikuchi, S. Kuroda, M. Okada, T. Yorioka, editors), Springer, Proceedings Mathematics & Statistics, Singapore, 369, 2021, pp. 27–45.]]></title><link>https://dx.doi.org/10.1017/bsl.2024.5?rft_dat=source%3Ddrss</link><dc:identifier>doi:10.1017/bsl.2024.5</dc:identifier><dc:title>COMPACTNESS OFAND STRONG AXIOMS OF DETERMINACY - N. Trang, Structure theory ofand its applications. Journal of Symbolic Logic, vol. 80 (2015), no. 1, pp. 29–55. - N. Trang, Supercompactness can be equiconsistent with measurability. Notre Dame Journal of Formal Logic, vol. 62 (2021), no. 4, pp. 593–618. - N. Trang and T. Wilson, Determinacy from strong compactness of . Annals of Pure and Applied Logic, vol. 172 (2021), no. 6, Article no. 102944, 30pp. - D. Ikegami and N. Trang, On supercompactness of $\omega _1$, Advances in Mathematical Logic (T. Arai, M. Kikuchi, S. Kuroda, M. Okada, T. Yorioka, editors), Springer, Proceedings Mathematics & Statistics, Singapore, 369, 2021, pp. 27–45.</dc:title><prism:startingPage>279</prism:startingPage><prism:endingPage>282</prism:endingPage><prism:doi>10.1017/bsl.2024.5</prism:doi><prism:url>https://dx.doi.org/10.1017/bsl.2024.5?rft_dat=source%3Ddrss</prism:url><prism:publicationDate>2024-11-11</prism:publicationDate><prism:volume></prism:volume><prism:number></prism:number><prism:publicationTitle>Bulletin of Symbolic Logic</prism:publicationTitle><dc:date>2024-11-11</dc:date><dc:creator>Gappo, Takehiko</dc:creator></item><item rdf:about="https://dx.doi.org/10.1017/bsl.2024.13?rft_dat=source%3Ddrss"><title><![CDATA[Christopher Pincock. Mathematics and Explanation. Elements in the Philosophy of Mathematics. Cambridge University Press, Cambridge, UK, 2023, 80 pp.]]></title><link>https://dx.doi.org/10.1017/bsl.2024.13?rft_dat=source%3Ddrss</link><dc:identifier>doi:10.1017/bsl.2024.13</dc:identifier><dc:title>Christopher Pincock. Mathematics and Explanation. Elements in the Philosophy of Mathematics. Cambridge University Press, Cambridge, UK, 2023, 80 pp.</dc:title><prism:startingPage>282</prism:startingPage><prism:endingPage>284</prism:endingPage><prism:doi>10.1017/bsl.2024.13</prism:doi><prism:url>https://dx.doi.org/10.1017/bsl.2024.13?rft_dat=source%3Ddrss</prism:url><prism:publicationDate>2024-11-11</prism:publicationDate><prism:volume></prism:volume><prism:number></prism:number><prism:publicationTitle>Bulletin of Symbolic Logic</prism:publicationTitle><dc:date>2024-11-11</dc:date><dc:creator>Molinini, Daniele</dc:creator></item><item rdf:about="https://dx.doi.org/10.1017/bsl.2024.10?rft_dat=source%3Ddrss"><title><![CDATA[From real-life to very strong axioms. Classification problems in Descriptive Set Theory and regularity properties in Generalized Descriptive Set Theory]]></title><description><![CDATA[<div class="abstract" data-abstract-type="normal">This thesis is divided into three parts, the first and second ones focused on combinatorics and classification problems on discrete and geometrical objects in the context of descriptive set theory, and the third one on generalized descriptive set theory at singular cardinals of countable cofinality.Descriptive Set Theory (briefly: DST) is the study of definable subsets of Polish spaces, i.e., separable completely metrizable spaces. One of the major branches of DST is Borel reducibility, successfully used in the last 30 years to solve and compare many classification problems. One of our goals is the classification of knots, very familiar and tangible objects in everyday life, which also play an important role in modern mathematics. The study of knots and their properties is known as knot theory. Our plan is to gain insight into knots using discrete objects, such as linear and circular orders. This approach was already exploited in [6]. The first part of this work is therefore devoted to countable linear orders and the study of the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results. We also expand our research to the case of circular orders.Another objective of this first part is to extend the notion of convex embeddability on countable linear orders. We provide a family of quasi-orders of which embeddability is a particular case as well. We study these quasi-orders from a combinatorial point of view and analyse their complexity with respect to Borel reducibility. Furthermore, we extend the analysis of these quasi-orders to the set of uncountable linear orders.The second part of the project deals with classification problems on knots and <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000106:S1079898624000106_inline2.png'>-manifolds. The goal here is to apply the results obtained in the first part to the study of proper arcs and knots, establishing lower bounds for the complexity of some natural relations between these geometrical objects. We also obtain some combinatorial results which are particularly interesting when we restrict to the set of wild proper arcs and wild knots, classes which haven’t received much attention so far. These parts are included in the two preprints [4, 5] in collaboration with my supervisor Alberto Marcone, Luca Motto Ros (University of Torino), and Vadim Weinstein (University of Oulu).The second part of this work also includes the classification of non-compact <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000106:S1079898624000106_inline3.png'>-manifolds up to homeomorphism (the case of compact <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000106:S1079898624000106_inline4.png'>-manifolds has already been solved: indeed, there are only countably many <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000106:S1079898624000106_inline5.png'>-manifolds up to homeomorphism; see [7]), and that of Cantor sets of <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000106:S1079898624000106_inline6.png'> up to conjugation (answering to Question 5.5 of [3]). Here we resort to algebraic tools. Stone duality gives a neat way to go back-and-forth between totally disconnected Polish spaces and countable Boolean algebras (see [1]). The main ingredient is the Stone space of all ultrafilters on a Boolean algebra. In this work we introduce a weaker concept which we call “blurry filter”. Using blurry filters instead of ultrafilters enables one to extend the class of spaces under consideration beyond totally disconnected. As an application of this method, we show that both homeomorphism on non-compact <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000106:S1079898624000106_inline7.png'>-manifolds and conjugation of Cantor sets in <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000106:S1079898624000106_inline8.png'> are completely classifiable by countable structures. These results are part of an upcoming paper in collaboration with Vadim Weinstein.The last part of this thesis concerns the natural generalization of descriptive set theory that occurs when countable is replaced by uncountable, called Generalized Descriptive Set Theory (briefly: GDST). In particular, we focus on the case of GDST for a singular cardinal <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000106:S1079898624000106_inline9.png'> of countable cofinality. The goal here is to study the generalizations of the Perfect Set Property and the Baire Property to subsets of spaces of higher cardinalities, like the power set <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000106:S1079898624000106_inline10.png'>. We consider the question under which large cardinal hypotheses classes of definable subsets of these spaces possess such regularity properties, focusing on rank-into-rank axioms, like I2, and classes of sets definable by <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000106:S1079898624000106_inline11.png'>-formulas with parameters from various collections of sets. The obtained results are included in [2], a joint work with my co-supervisor Vincenzo Dimonte and Philipp Lücke (University of Hamburg).Abstract prepared by Martina IannellaE-mail: <a href='mailto:martina.iannella@tuwien.ac.at'>martina.iannella@tuwien.ac.at</a>.URL: <a href='https://air.uniud.it/handle/11390/1262824'>https://air.uniud.it/handle/11390/1262824</a>.</div>]]></description><link>https://dx.doi.org/10.1017/bsl.2024.10?rft_dat=source%3Ddrss</link><dc:identifier>doi:10.1017/bsl.2024.10</dc:identifier><dc:title>From real-life to very strong axioms. Classification problems in Descriptive Set Theory and regularity properties in Generalized Descriptive Set Theory</dc:title><prism:startingPage>285</prism:startingPage><prism:endingPage>286</prism:endingPage><prism:doi>10.1017/bsl.2024.10</prism:doi><prism:url>https://dx.doi.org/10.1017/bsl.2024.10?rft_dat=source%3Ddrss</prism:url><prism:publicationDate>2024-11-11</prism:publicationDate><prism:volume></prism:volume><prism:number></prism:number><prism:publicationTitle>Bulletin of Symbolic Logic</prism:publicationTitle><dc:date>2024-11-11</dc:date><dc:creator>Iannella, Martina</dc:creator></item><item rdf:about="https://dx.doi.org/10.1017/bsl.2024.11?rft_dat=source%3Ddrss"><title><![CDATA[Many problems, different frameworks: classification of problems in computable analysis and algorithmic learning theory]]></title><description><![CDATA[<div class="abstract" data-abstract-type="normal">In this thesis, we study the complexity of some mathematical problems: in particular, those arising in computable analysis and algorithmic learning theory for algebraic structures. Our study is not limited to these two areas: indeed, in both cases, the results we obtain are tightly connected to ideas and tools coming from different areas of mathematical logic, including for example descriptive set theory and reverse mathematics.After giving the necessary preliminaries, we first study the uniform computational strength of the Cantor–Bendixson theorem in the Weihrauch lattice. This work falls into the program connecting reverse mathematics and computable analysis via the framework of Weihrauch reducibility. We concentrate on problems related to perfect subsets of Polish spaces, studying the perfect set theorem, the Cantor–Bendixson theorem, and various problems arising from them. As far as we know, this is the first systematic study of problems at the level of <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000118:S1079898624000118_inline1.png'> in the Weihrauch lattice. We show that the strength of some of the problems we study depends on the topological properties of the Polish space under consideration, while others have the same strength once the space is rich enough.We continue considering problems related to (induced) subgraphs. We provide results on the (effective) Wadge complexity of sets of graphs, that are also used to determine the Weihrauch degree of certain decision problems. The decision problems we consider are defined for a fixed graph G, and they take as input a graph H, answering whether G is an (induced) subgraph of H: we also consider the opposite problem (i.e., answering whether H is an induced subgraph of G). We conclude this part on (induced) subgraphs considering the Weihrauch degree of “search problems.”These problems are defined for a fixed graph G, and they take as input a graph H such that G is an (induced) subgraph H: the output is a copy of G in H. In both cases, we highlight differences and analogies between the subgraph and the induced subgraph relation.We then move our attention to algorithmic learning theory, and we present the framework we use to study the learnability of families of algebraic structures: here, given a countable family of pairwise nonisomorphic structures <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000118:S1079898624000118_inline2.png'>, a learner receives larger and larger pieces of an arbitrary copy of a structure in <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000118:S1079898624000118_inline3.png'> and, at each stage, is required to output a conjecture about the isomorphism type of such a structure. We say that <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000118:S1079898624000118_inline4.png'> is learnable if there exists a learner which eventually stabilizes to a correct guess. The framework was lacking a method for comparing the complexity of nonlearnable families, and so we propose a solution to this problem using tools coming from invariant descriptive set theory. To do so, we first prove that a family of structures is learnable if and only if its learning domain is continuously reducible to the relation <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000118:S1079898624000118_inline5.png'> of eventual agreement on infinite binary sequences and then, replacing <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000118:S1079898624000118_inline6.png'> with Borel equivalence relations of higher complexity, we obtain a new hierarchy of learning problems. This leads to the notion of E-learnability, where a family of structures <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000118:S1079898624000118_inline7.png'> is E-learnable, for a Borel equivalence relation E, if there is a continuous reduction from the isomorphism relation associated with <img class='inline-graphic mathjax-alternative mathjax-alt-graphic mathjax-off' data-mimesubtype='png' data-type='' src='http://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20241108100725073-0860:S1079898624000118:S1079898624000118_inline8.png'> to E. It is then natural to ask how the notion of E-learnability interacts with “classical” learning paradigms.Finally, we study the number of mind changes that a learner needs to learn a given family, both from a topological and a combinatorial point of view, and we consider how the complexity of a learner (in terms of Turing reducibility) affects the number of mind changes for learning a given family.Abstract prepared by Vittorio Cipriani.E-mail: <a href='mailto:vittorio.cipriani17@gmail.com'>vittorio.cipriani17@gmail.com</a>.URL: <a href='https://air.uniud.it/handle/11390/1252226'>https://air.uniud.it/handle/11390/1252226</a>.</div>]]></description><link>https://dx.doi.org/10.1017/bsl.2024.11?rft_dat=source%3Ddrss</link><dc:identifier>doi:10.1017/bsl.2024.11</dc:identifier><dc:title>Many problems, different frameworks: classification of problems in computable analysis and algorithmic learning theory</dc:title><prism:startingPage>287</prism:startingPage><prism:endingPage>288</prism:endingPage><prism:doi>10.1017/bsl.2024.11</prism:doi><prism:url>https://dx.doi.org/10.1017/bsl.2024.11?rft_dat=source%3Ddrss</prism:url><prism:publicationDate>2024-11-11</prism:publicationDate><prism:volume></prism:volume><prism:number></prism:number><prism:publicationTitle>Bulletin of Symbolic Logic</prism:publicationTitle><dc:date>2024-11-11</dc:date><dc:creator>Cipriani, Vittorio</dc:creator></item><item rdf:about="https://dx.doi.org/10.1017/bsl.2024.25?rft_dat=source%3Ddrss"><title><![CDATA[Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis]]></title><description><![CDATA[<div class="abstract" data-abstract-type="normal">This thesis is concerned with extending the underlying logical approach as well as the breadth of applications of the proof mining program to various (mostly previously untreated) areas of nonlinear analysis and optimization, with a particular focus being placed on topics which involve set-valued operators.For this, we extend the current logical methodology of proof mining by new systems and corresponding so-called logical metatheorems that cover these more involved areas of nonlinear analysis. Most of these systems crucially rely on the use of intensional methods, treating sets with potentially high quantifier complexity in the defining matrix via characteristic functions and axioms that describe only their properties and do not completely characterize the elements of the sets.The applicability of all of these metatheorems is then substantiated by a range of case studies for the respective areas which in particular also highlight the naturalness of the use of intensional methods in the design of the corresponding systems.The first new area covered thereby is the theory of nonlinear semigroups induced by corresponding evolution equations for accretive operators. In that context, we present (besides an initial foray into the area from 2015) essentially the first applications of proof mining to the theory of partial differential equations. Concretely, we provide quantitative versions of four central results on the asymptotic behavior of solutions to such equations.The second new area unlocked in this thesis is that of the continuous dual of a Banach space and its norm (which are also approached via intensional methods). This in particular relies on a proof-theoretically tame treatment of suprema over (certain) bounded sets in this intensional context which is further exploited later on. These systems, which give access to this until now untreated fundamental notion from functional analysis, are then used to provide further substantial extensions to treat various notions from convex analysis like the Fréchet derivative of a convex function, Fenchel conjugates, Bregman distances, and monotone operators on Banach spaces in the sense of Browder.These systems are then utilized to provide applications in the context of Picard- and Halpern-style iterations of so-called Bregman strongly nonexpansive mappings where we provide both new quantitative and qualitative results.Lastly, we discuss the key notion of extensionality of a set-valued operator and its relation to set-theoretic maximality principles in more depth (which was already singled out—to some degree—in previous work). We thereby exhibit an issue arising with treating full extensionality in the context of these intensional approaches to set-valued operators and present useful fragments of the full extensionality statement where these issues are avoided.Corresponding to these fragments, we discuss a range of uniform continuity statements for set-valued operators beyond the usual notion involving the Hausdorff-metric. In particular, in that context, we utilize the previous tame treatment of suprema over bounded sets to also provide the first proof-theoretic treatment of that Hausdorff-metric in the context of systems for proof mining.The applicability of this treatment of the Hausdorff-metric is then in particular substantiated by a last case study where we provide quantitative information for a Mann-type iteration of set-valued mappings which are nonexpansive w.r.t. the Hausdorff-metric.The abstract was taken directly from the thesis.Abstract prepared by Nicholas Pischke, Technische Universität Darmstadt, Darmstadt, GermanyE-mail: <a href='mailto:pischke@mathematik.tu-darmstadt.de'>pischke@mathematik.tu-darmstadt.de</a>.URL: <a href='https://doi.org/10.26083/tuprints-00026584'>https://doi.org/10.26083/tuprints-00026584</a>.</div>]]></description><link>https://dx.doi.org/10.1017/bsl.2024.25?rft_dat=source%3Ddrss</link><dc:identifier>doi:10.1017/bsl.2024.25</dc:identifier><dc:title>Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis</dc:title><prism:startingPage>288</prism:startingPage><prism:endingPage>289</prism:endingPage><prism:doi>10.1017/bsl.2024.25</prism:doi><prism:url>https://dx.doi.org/10.1017/bsl.2024.25?rft_dat=source%3Ddrss</prism:url><prism:publicationDate>2024-11-11</prism:publicationDate><prism:volume></prism:volume><prism:number></prism:number><prism:publicationTitle>Bulletin of Symbolic Logic</prism:publicationTitle><dc:date>2024-11-11</dc:date><dc:creator>Pischke, Nicholas</dc:creator></item><item rdf:about="https://dx.doi.org/10.1017/bsl.2024.36?rft_dat=source%3Ddrss"><title><![CDATA[PROOF SOCIETY AUTUMN SCHOOL AND WORKSHOP 2022 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, The Netherlands November 7–12, 2022]]></title><link>https://dx.doi.org/10.1017/bsl.2024.36?rft_dat=source%3Ddrss</link><dc:identifier>doi:10.1017/bsl.2024.36</dc:identifier><dc:title>PROOF SOCIETY AUTUMN SCHOOL AND WORKSHOP 2022 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, The Netherlands November 7–12, 2022</dc:title><prism:startingPage>290</prism:startingPage><prism:endingPage>291</prism:endingPage><prism:doi>10.1017/bsl.2024.36</prism:doi><prism:url>https://dx.doi.org/10.1017/bsl.2024.36?rft_dat=source%3Ddrss</prism:url><prism:publicationDate>2024-11-11</prism:publicationDate><prism:volume></prism:volume><prism:number></prism:number><prism:publicationTitle>Bulletin of Symbolic Logic</prism:publicationTitle><dc:date>2024-11-11</dc:date></item><item rdf:about="https://dx.doi.org/10.1017/bsl.2024.38?rft_dat=source%3Ddrss"><title><![CDATA[WORKSHOP: FINITE MODEL THEORY AND MANY-VALUED LOGIC: CHALLENGES AND INTERACTIONS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brisbane, Australia (online) November 10–12, 2022]]></title><link>https://dx.doi.org/10.1017/bsl.2024.38?rft_dat=source%3Ddrss</link><dc:identifier>doi:10.1017/bsl.2024.38</dc:identifier><dc:title>WORKSHOP: FINITE MODEL THEORY AND MANY-VALUED LOGIC: CHALLENGES AND INTERACTIONS CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Brisbane, Australia (online) November 10–12, 2022</dc:title><prism:startingPage>292</prism:startingPage><prism:endingPage>292</prism:endingPage><prism:doi>10.1017/bsl.2024.38</prism:doi><prism:url>https://dx.doi.org/10.1017/bsl.2024.38?rft_dat=source%3Ddrss</prism:url><prism:publicationDate>2024-11-11</prism:publicationDate><prism:volume></prism:volume><prism:number></prism:number><prism:publicationTitle>Bulletin of Symbolic Logic</prism:publicationTitle><dc:date>2024-11-11</dc:date></item><item rdf:about="https://dx.doi.org/10.1017/bsl.2024.37?rft_dat=source%3Ddrss"><title><![CDATA[MODEL THEORY CONFERENCE IN CELEBRATION OF LUDOMIR NEWELSKI’S 60TH BIRTHDAY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bedlewo, Poland December 17–21, 2022]]></title><link>https://dx.doi.org/10.1017/bsl.2024.37?rft_dat=source%3Ddrss</link><dc:identifier>doi:10.1017/bsl.2024.37</dc:identifier><dc:title>MODEL THEORY CONFERENCE IN CELEBRATION OF LUDOMIR NEWELSKI’S 60TH BIRTHDAY CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Bedlewo, Poland December 17–21, 2022</dc:title><prism:startingPage>293</prism:startingPage><prism:endingPage>293</prism:endingPage><prism:doi>10.1017/bsl.2024.37</prism:doi><prism:url>https://dx.doi.org/10.1017/bsl.2024.37?rft_dat=source%3Ddrss</prism:url><prism:publicationDate>2024-11-11</prism:publicationDate><prism:volume></prism:volume><prism:number></prism:number><prism:publicationTitle>Bulletin of Symbolic Logic</prism:publicationTitle><dc:date>2024-11-11</dc:date></item><item rdf:about="https://dx.doi.org/10.1017/bsl.2024.34?rft_dat=source%3Ddrss"><title><![CDATA[NOTICES]]></title><link>https://dx.doi.org/10.1017/bsl.2024.34?rft_dat=source%3Ddrss</link><dc:identifier>doi:10.1017/bsl.2024.34</dc:identifier><dc:title>NOTICES</dc:title><prism:startingPage>294</prism:startingPage><prism:endingPage>301</prism:endingPage><prism:doi>10.1017/bsl.2024.34</prism:doi><prism:url>https://dx.doi.org/10.1017/bsl.2024.34?rft_dat=source%3Ddrss</prism:url><prism:publicationDate>2024-11-11</prism:publicationDate><prism:volume></prism:volume><prism:number></prism:number><prism:publicationTitle>Bulletin of Symbolic Logic</prism:publicationTitle><dc:date>2024-11-11</dc:date></item><item rdf:about="https://dx.doi.org/10.1017/bsl.2024.50?rft_dat=source%3Ddrss"><title><![CDATA[BSL volume 30 issue 2 Cover and Front matter]]></title><link>https://dx.doi.org/10.1017/bsl.2024.50?rft_dat=source%3Ddrss</link><dc:identifier>doi:10.1017/bsl.2024.50</dc:identifier><dc:title>BSL volume 30 issue 2 Cover and Front matter</dc:title><prism:startingPage>1</prism:startingPage><prism:endingPage>4</prism:endingPage><prism:doi>10.1017/bsl.2024.50</prism:doi><prism:url>https://dx.doi.org/10.1017/bsl.2024.50?rft_dat=source%3Ddrss</prism:url><prism:publicationDate>2024-11-11</prism:publicationDate><prism:volume></prism:volume><prism:number></prism:number><prism:publicationTitle>Bulletin of Symbolic Logic</prism:publicationTitle><dc:date>2024-11-11</dc:date></item><item rdf:about="https://dx.doi.org/10.1017/bsl.2024.51?rft_dat=source%3Ddrss"><title><![CDATA[BSL volume 30 issue 2 Cover and Back matter]]></title><link>https://dx.doi.org/10.1017/bsl.2024.51?rft_dat=source%3Ddrss</link><dc:identifier>doi:10.1017/bsl.2024.51</dc:identifier><dc:title>BSL volume 30 issue 2 Cover and Back matter</dc:title><prism:startingPage>1</prism:startingPage><prism:endingPage>2</prism:endingPage><prism:doi>10.1017/bsl.2024.51</prism:doi><prism:url>https://dx.doi.org/10.1017/bsl.2024.51?rft_dat=source%3Ddrss</prism:url><prism:publicationDate>2024-11-11</prism:publicationDate><prism:volume></prism:volume><prism:number></prism:number><prism:publicationTitle>Bulletin of Symbolic Logic</prism:publicationTitle><dc:date>2024-11-11</dc:date></item></rdf:RDF>