|
Bulletin of Symbolic Logic
Journal Prestige (SJR): 0.555  Citation Impact (citeScore): 1 Number of Followers: 4  Subscription journalISSN (Print) 1079-8986 - ISSN (Online) 1943-5894 Published by Cambridge University Press  [353 journals]
|
- BSL volume 30 issue 2 Cover and Front matter
-
Free pre-print version: Loading...
Pages: 1 - 4
PubDate: 2024-11-11
DOI: 10.1017/bsl.2024.50
-
- BSL volume 30 issue 2 Cover and Back matter
-
Free pre-print version: Loading...
Pages: 1 - 2
PubDate: 2024-11-11
DOI: 10.1017/bsl.2024.51
-
- THE UNIVERSAL THEORY OF THE HYPERFINITE II$_1$ FACTOR IS NOT COMPUTABLE
-
Free pre-print version: Loading...
Authors: GOLDBRING; ISAAC, HART, BRADD
Pages: 181 - 198
Abstract: We show that the universal theory of the hyperfinite II
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.
PubDate: 2024-02-16
DOI: 10.1017/bsl.2024.7
-
- ITERATED PRIORITY ARGUMENTS IN DESCRIPTIVE SET THEORY
-
Free pre-print version: Loading...
Authors: DAY; ADAM, GREENBERG, NOAM, HARRISON-TRAINOR, MATTHEW, TURETSKY, DAN
Pages: 199 - 226
Abstract: 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
, Louveau and Saint Raymond’s separation theorem, and Louveau’s separation theorem.
PubDate: 2024-04-08
DOI: 10.1017/bsl.2024.23
-
- CATEGORICAL QUANTIFICATION
-
Free pre-print version: Loading...
Authors: BRÎNCUŞ; CONSTANTIN C.
Pages: 227 - 252
Abstract: 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
-rule and I show that the addition of the 
-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.
PubDate: 2024-01-24
DOI: 10.1017/bsl.2024.3
-
- ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS
-
Free pre-print version: Loading...
Authors: CINTULA; PETR, METCALFE, GEORGE, TOKUDA, NAOMI
Pages: 253 - 278
Abstract: 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
and 
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.
PubDate: 2024-04-01
DOI: 10.1017/bsl.2024.22
-
- 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.-
Free pre-print version: Loading...
Authors: Gappo; Takehiko
Pages: 279 - 282
PubDate: 2024-11-11
DOI: 10.1017/bsl.2024.5
-
- Christopher Pincock. Mathematics and Explanation. Elements in the
Philosophy of Mathematics. Cambridge University Press, Cambridge, UK,
2023, 80 pp.-
Free pre-print version: Loading...
Authors: Molinini; Daniele
Pages: 282 - 284
PubDate: 2024-11-11
DOI: 10.1017/bsl.2024.13
-
- From real-life to very strong axioms. Classification problems in
Descriptive Set Theory and regularity properties in Generalized
Descriptive Set Theory-
Free pre-print version: Loading...
Authors: Iannella; Martina
Pages: 285 - 286
Abstract: 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
-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 
-manifolds up to homeomorphism (the case of compact 
-manifolds has already been solved: indeed, there are only countably many 
-manifolds up to homeomorphism; see [7]), and that of Cantor sets of 
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 
-manifolds and conjugation of Cantor sets in
PubDate: 2024-11-11
DOI: 10.1017/bsl.2024.10
-
- Many problems, different frameworks: classification of problems in
computable analysis and algorithmic learning theory-
Free pre-print version: Loading...
Authors: Cipriani; Vittorio
Pages: 287 - 288
Abstract: 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
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 
, a learner receives larger and larger pieces of an arbitrary copy of a structure in 
and, at each stage, is required to output a conjecture about the isomorphism type of such a structure. We say that 
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 
of eventual agreement on infinite binary sequences and then, replacing
PubDate: 2024-11-11
DOI: 10.1017/bsl.2024.11
-
- Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis
-
Free pre-print version: Loading...
Authors: Pischke; Nicholas
Pages: 288 - 289
Abstract: 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. prepared by Nicholas Pischke, Technische Universität Darmstadt, Darmstadt, GermanyE-mail: pischke@mathematik.tu-darmstadt.de.URL: https://doi.org/10.26083/tuprints-00026584.
PubDate: 2024-11-11
DOI: 10.1017/bsl.2024.25
-
- PROOF SOCIETY AUTUMN SCHOOL AND WORKSHOP 2022 CO-SPONSORED BY THE
ASSOCIATION FOR SYMBOLIC LOGIC Utrecht, The Netherlands November 7–12,
2022-
Free pre-print version: Loading...
Pages: 290 - 291
PubDate: 2024-11-11
DOI: 10.1017/bsl.2024.36
-
- 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-
Free pre-print version: Loading...
Pages: 292 - 292
PubDate: 2024-11-11
DOI: 10.1017/bsl.2024.38
-
- 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-
Free pre-print version: Loading...
Pages: 293 - 293
PubDate: 2024-11-11
DOI: 10.1017/bsl.2024.37
-
- NOTICES
-
Free pre-print version: Loading...
Pages: 294 - 301
PubDate: 2024-11-11
DOI: 10.1017/bsl.2024.34
-
