We calculate the Cantor-Bendixson rank of the Ziegler spectrum over a commutative valuation domain R proving that it is equal to the double Krull dimension of R.

We prove that every type of finite Cantor-Bendixson rank over a model of a first-order theory without the strict order property is definable and has a unique nonforking extension to a global type. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

We show that there is a computable Boolean algebra $\mathscr{B}$ and a computably enumerable ideal I of $\mathscr{B}$ such that the quotient algebra $\mathscr{B}/I$ is of Cantor-Bendixson rank 1 and is not isomorphic to any computable Boolean algebra. This extends a result of L. Feiner and is deduced from Feiner's result even though Feiner's construction yields a Boolean algebra of infinite Cantor-Bendixson rank.

A Cantor singleton is the unique nonrecursive member of some $\Pi^0_1$ class. In this paper we investigate the relationships between the following three notions: Cantor singletons, Cantor-Bendixson rank, and recursive join. Among other results, we show that the rank of $A\oplus B$ is at most the natural sum of the ranks of $A$ and $B$ , and that, if $B$ has the same rank as $A\o plus B$ , then $A$ is recursive in (...) $B$. (shrink)

We show that for each computable ordinal $\alpha > 0$ it is possible to find in each Martin-Löf random ${\rm{\Delta }}_2^0 $ degree a sequence R of Cantor-Bendixson rank α, while ensuring that the sequences that inductively witness R’s rank are all Martin-Löf random with respect to a single countably supported and computable measure. This is a strengthening for random degrees of a recent result of Downey, Wu, and Yang, and can be understood as a randomized (...) version of it. (shrink)

We investigate stationarity of types over models in simple theories. In particular, we show that in simple theories with finite SU-rank, any complete type over a model having Cantor-Bendixson rank is stationary.

This paper continues joint work of the authors with P. Clote, R. Soare and S. Wainer (Annals of Pure and Applied Logic, vol. 31 (1986), pp. 145--163). An element x of the Cantor space 2 ω is said have rank α in the closed set P if x is in $D^\alpha(P)\backslash D^{\alpha + 1}(P)$ , where D α is the iterated Cantor-Bendixson derivative. The rank of x is defined to be the least α such that (...) x has rank α in some Π 0 1 set. The main result of the five-author paper is that for any recursive ordinal λ + n (where λ is a limit and n is finite), there is a point with rank λ + n which is Turing equivalent to O (λ + 2n) . All ranked points constructed in that paper are Π 0 2 singletons. We now construct a ranked point which is not a Π 0 2 singleton. In the previous paper the points of high rank were also of high hyperarithmetic degree. We now construct ▵ 0 2 points with arbitrarily high rank. We also show that every nonrecursive RE point is Turing equivalent to an RE point of rank one and that every nonrecursive ▵ 0 2 point is Turing equivalent to a hyperimmune point of rank one. We relate Clote's notion of the height of a Π 0 1 singleton in the Baire space with the notion of rank. Finally, we show that every hyperimmune point x is Turing equivalent to a point which is not ranked. (shrink)

We develop the general theory of topometric spaces, i.e., topological spaces equipped with a well-behaved lower semi-continuous metric. Spaces of global and local types in continuous logic are the motivating examples for the study of such spaces. In particular, we develop Cantor-Bendixson analysis of topometric spaces, which can serve as a basis for the study of local stability (extending the ad hoc development in Ben Yaacov I and Usvyatsov A, Continuous first order logic and local stability. Trans Am (...) Math Soc, in press), as well as of global ${\aleph_0}$ -stability. We conclude with a study of perturbation systems (see Ben Yaacov I, On perturbations of continuous structures, submitted) in the formalism of topometric spaces. In particular, we show how the abstract development applies to ${\aleph_0}$ -stability up to perturbation. (shrink)

We prove that in a continuous ℵ₀-stable theory every type-definable group is definable. The two main ingredients in the proof are: 1. Results concerning Morley ranks (i.e., Cantor-Bendixson ranks) from [Ben08], allowing us to prove the theorem in case the metric is invariant under the group action; and 2. Results concerning the existence of translation-invariant definable metrics on type-definable groups and the extension of partial definable metrics to total ones.

Cenzer, D., R. Downey, C. Jockusch and R.A. Shore, Countable thin Π01 classes, Annals of Pure and Applied Logic 59 79–139. A Π01 class P {0, 1}ω is thin if every Π01 subclass of P is the intersection of P with some clopen set. Countable thin Π01 classes are constructed having arbitrary recursive Cantor- Bendixson rank. A thin Π01 class P is constructed with a unique nonisolated point A and furthermore A is of degree 0’. It is (...) shown that no set of degree ≥0” can be a member of any thin Π01 class. An r.e. degree d is constructed such that no set of degree d can be a member of any thin Π01 class. It is also shown that between any two distinct comparable r.e. degrees, there is a degree that contains a set which is of rank one in some thin Π01 class. It is shown that no maximal set can have rank one in any Π01 class, while there exist maximal sets of rank 2. The connection between Π01 classes, propositional theories and recursive Boolean algebras is explored, producing several corollaries to the results on Π01 classes. For example, call a recursive Boolean algebra thin if it has no proper nonprincipal recursive ideals. Then no thin recursive Boolean algebra can have a maximal ideal of degree ≥0”. (shrink)

We investigate some common points between stable structures and weakly small structures and define a structureMto befineif the Cantor-Bendixson rank of the topological space${S_\varphi }\left} \right)$is an ordinal for every finite subsetAofMand every formula$\varphi \left$wherexis of arity 1. By definition, a theory isfineif all its models are so. Stable theories and small theories are fine, and weakly minimal structures are fine. For any finite subsetAof a fine groupG, the traces on the algebraic closure$acl\left$ofAof definable subgroups ofGover$acl\left$which are (...) boolean combinations of instances of an arbitrary fixed formula can decrease only finitely many times. An infinite field with a fine theory has no additive nor multiplicative proper definable subgroups of finite index, nor Artin-Schreier extensions. (shrink)

According to Belegradek, a first order structure is weakly small if there are countably many $1$-types over any of its finite subset. We show the following results. A field extension of finite degree of an infinite weakly small field has no Artin-Schreier extension. A weakly small field of characteristic $2$ is finite or algebraically closed. A weakly small division ring of positive characteristic is locally finite dimensional over its centre. A weakly small division ring of characteristic $2$ is a field.

A group is small if it has only countably many complete n-types over the empty set for each natural number n. More generally, a group G is weakly small if it has only countably many complete 1-types over every finite subset of G. We show here that in a weakly small group, subgroups which are definable with parameters lying in a finitely generated algebraic closure satisfy the descending chain conditions for their traces in any finitely generated algebraic closure. An infinite (...) weakly small group has an infinite abelian subgroup, which may not be definable. A small nilpotent group is the central product of a definable divisible group with a definable one of bounded exponent. In a group with simple theory, any set of pairwise commuting elements is contained in a definable finite-by-abelian subgroup. First corollary: a weakly small group with simple theory has an infinite definable finite-by-abelian subgroup. Secondly, in a group with simple theory, a solvable group A of derived length n is contained in an A-definable almost solvable group of class at most 2n — 1. (shrink)

This paper continues the program connecting reverse mathematics and computable analysis via the framework of Weihrauch reducibility. In particular, we consider problems related to perfect subsets of Polish spaces, studying the perfect set theorem, the Cantor–Bendixson theorem, and various problems arising from them. In the framework of reverse mathematics, these theorems are equivalent, respectively, to $\mathsf {ATR}_0$ and $\boldsymbol {\Pi }^1_1{-}\mathsf{CA}_0$, the two strongest subsystems of second order arithmetic among the so-called big five. As far as we know, (...) this is the first systematic study of problems at the level of $\boldsymbol {\Pi }^1_1{-}\mathsf{CA}_0$ 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. (shrink)

The main result of this paper is to show that for every recursive ordinal α ≠ 0 and for every nonrecursive r.e. degree d there is a r.e. set of rank α and degree d.

A Π01 class is an effectively closed set of reals. We study properties of these classes determined by cardinality, measure and category as well as by the complexity of the members of a class P. Given an effective enumeration {Pe:e < ω} of the Π01 classes, the index set I for a certain property is the set of indices e such that Pe has the property. For example, the index set of binary Π01 classes of positive measure is Σ02 complete. (...) Various notions of boundedness are discussed and classified. For example, the index set of the recursively bounded classes is Σ03 complete and the index set of the recursively bounded classes which have infinitely many recursive members is Π04 complete. Consideration of the Cantor-Bendixson derivative leads to index sets in the transfinite levels of the hyperarithmetic hierarchy. (shrink)

We discuss the existence of universal spaces (either in the sense of embeddings or continuous images) for some classes of scattered Eberlein compacta. Given a cardinal κ, we consider the class Sκ of all scattered Eberlein compact spaces K of weight ≤ κ and such that the second Cantor-Bendixson derivative of K is a singleton. We prove that if κ is an uncountable cardinal such that κ = 2<κ, then there exists a space X in Sκ such that (...) every member of Sκ is homeomorphic to a retract of X. We show that it is consistent that there does not exist a universal space (either by embeddings or by mappings onto) in Sω₁. Assuming that ∂ = ω₁, we prove that there exists a space X ∈ Sω₁, which is universal in the sense of embeddings. We also show that it is consistent that there exists a space X ∈ Sω₁, universal in the sense of embeddings, but Sω₁ does not contain an universal element in the sense of mappings onto. (shrink)

Let A and B be subsets of the space 2 N of sets of natural numbers. A is said to be Wadge reducible to B if there is a continuous map Φ from 2 N into 2 N such that A = Φ -1 (B); A is said to be monotone reducible to B if in addition the map Φ is monotone, that is, $a \subset b$ implies $\Phi (a) \subset \Phi(b)$ . The set A is said to be monotone (...) if a ∈ A and $a \subset b$ imply b ∈ A. For monotone sets, it is shown that, as for Wadge reducibility, sets low in the arithmetical hierarchy are nicely ordered. The ▵ 0 1 sets are all reducible to the (Σ 0 1 but not ▵ 0 1 ) sets, which are in turn all reducible to the strictly ▵ 0 2 sets, which are all in turn reducible to the strictly Σ 0 2 sets. In addition, the nontrivial Σ 0 n sets all have the same degree for n ≤ 2. For Wadge reducibility, these results extend throughout the Borel hierarchy. In contrast, we give two natural strictly Π 0 2 monotone sets which have different monotone degrees. We show that every Σ 0 2 monotone set is actually Σ 0 2 positive. We also consider reducibility for subsets of the space of compact subsets of 2 N . This leads to the result that the finitely iterated Cantor-Bendixson derivative D n is a Borel map of class exactly 2n, which answers a question of Kuratowski. (shrink)

All spaces are assumed to be separable and metrizable. Consider the following properties of a space X. X is Polish.For every countable crowded Q⊆X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${Q \subseteq X}$$\end{document} there exists a crowded Q′⊆Q\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${Q'\subseteq Q}$$\end{document} with compact closure.Every closed subspace of X is either scattered or it contains a homeomorphic copy of 2ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${2^\omega}$$\end{document}.Every closed subspace of X (...) is a Baire space. While is the well-known property of being completely Baire, properties and have been recently introduced by Kunen, Medini and Zdomskyy, who named them the Miller property and the Cantor-Bendixson property respectively. It turns out that the implications →→→\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${ \rightarrow \rightarrow \rightarrow }$$\end{document} hold for every space X. Furthermore, it follows from a classical result of Hurewicz that all these implications are equivalences if X is coanalytic. Under the axiom of Projective Determinacy, this equivalence result extends to all projective spaces. We will complete the picture by giving a ZFC\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf ZFC}$$\end{document} counterexample and a consistent definable counterexample of lowest possible complexity to the implication ←\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${ \leftarrow }$$\end{document} for i=1,2,3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${i = 1, 2, 3}$$\end{document}. For one of these counterexamples we will need a classical theorem of Martin and Solovay, of which we give a new proof, based on a result of Baldwin and Beaudoin. Finally, using a method of Fischer and Friedman, we will investigate how changing the value of the continuum affects the definability of these counterexamples. Along the way, we will show that every uncountable completely Baire space has size continuum. (shrink)

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 $\mathbf {\Pi }^1_1\mathsf {-CA}_0$ 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 $\mathfrak {K}$, a learner receives larger and larger pieces of an arbitrary copy of a structure in $\mathfrak {K}$ and, at each stage, is required to output a conjecture about the isomorphism type of such a structure. We say that $\mathfrak {K}$ 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 $E_0$ of eventual agreement on infinite binary sequences and then, replacing $E_0$ 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 $\mathfrak {K}$ is E-learnable, for a Borel equivalence relation E, if there is a continuous reduction from the isomorphism relation associated with $\mathfrak {K}$ 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: [email protected]: https://air.uniud.it/handle/11390/1252226. (shrink)

Let B be a superatomic Boolean algebra (BA). The rank of B (rk(B)), is defined to be the Cantor Bendixon rank of the Stone space of B. If a ∈ B - {0}, then the rank of a in B (rk(a)), is defined to be the rank of the Boolean algebra $B b \upharpoonright a \overset{\mathrm{def}}{=} \{b \in B: b \leq a\}$ . The rank of 0 B is defined to be -1. An element (...) a ∈ B - {0} is a generalized atom $(a \in \widehat{At}(B))$ , if the last nonzero cardinal in the cardinal sequence of B $\upharpoonright$ a is 1. Let a,b $\in\widehat{At}$ (B). We denote a ∼ b, if rk(a) = rk(b) = rk(a · b). A subset H $\subseteq \widehat{At}$ (B) is a complete set of representatives (CSR) for B, if for every a $\in \widehat{At}$ (B) there is a unique h ∈ H such that h ∼ a. Any CSR for B generates B. We say that B is canonically well-generated (CWG), if it has a CSR H such that the sublattice of B generated by H is well-founded. We say that B is well-generated, if it has a well-founded sublattice L such that L generates B. THEOREM 1. Let B be a Boolean algebra with cardinal sequence $\langle\aleph_0: i . If B is CWG, then every subalgebra of B is CWG. A superatomic Boolean algebra B is essentially low (ESL), if it has a countable ideal I such that rk(B/I) ≤ 1. Theorem 1 follows from Theorem 2.9, which is the main result of this work. For an ESL BA B we define a set F B of partial functions from a certain countably infinite set to ω (Definition 2.8). Theorem 2.9 says that if B is an ESL Boolean algebra, then the following are equivalent. (1) Every subalgebra of B is CWG; and (2) F B is bounded. THEOREM 2. If an ESL Boolean algebra is not CWG, then it has a subalgebra which is not well-generated. (shrink)

A minimal extension of a Π01 class P is a Π01 class Q such that P ⊂ Q, Q – P is infinite, and for any Π01 class R, if P ⊂ R ⊂ Q, then either R – P is finite or Q – R is finite; Q is a nontrivial minimal extension of P if in addition P and Q′ have the same Cantor-Bendixson derivative. We show that for any class P which has a single limit (...) point A, and that point of degree ≤ 0, P admits a nontrivial minimal extension. We also show that as long as P is infinite, then P does not admit any decidable nontrivial minimal extension Q. (shrink)

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 $3$ -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 $3$ -manifolds up to homeomorphism (the case of compact $3$ -manifolds has already been solved: indeed, there are only countably many $3$ -manifolds up to homeomorphism; see [7]), and that of Cantor sets of $\mathbb {R}^3$ 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 $3$ -manifolds and conjugation of Cantor sets in $\mathbb {R}^3$ 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 $\kappa $ 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 $\mathcal {P}(\kappa )$. 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 $\Sigma _1$ -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: [email protected]: https://air.uniud.it/handle/11390/1262824. (shrink)

We obtain some new results on the topology of unary definable sets in expansions of densely ordered Abelian groups of burden 2. In the special case in which the structure has dp‐rank 2, we show that the existence of an infinite definable discrete set precludes the definability of a set which is dense and codense in an interval, or of a set which is topologically like the Cantor middle‐third set (Theorem 2.9). If it has burden 2 and both (...) an infinite discrete set D and a dense‐codense set X are definable, then translates of X must witness the Independence Property (Theorem 2.26). In the last section, an explicit example of an ordered Abelian group of burden 2 is given in which both an infinite discrete set and a dense‐codense set are definable. (shrink)

Kurt Gödel, mathematician and logician, was one of the most influential thinkers of the twentieth century. Gödel fled Nazi Germany, fearing for his Jewish wife and fed up with Nazi interference in the affairs of the mathematics institute at the University of Göttingen. In 1933 he settled at the Institute for Advanced Study in Princeton, where he joined the group of world-famous mathematicians who made up its original faculty. His 1940 book, better known by its short title, The Consistency of (...) the Continuum Hypothesis, is a classic of modern mathematics. The continuum hypothesis, introduced by mathematician George Cantor in 1877, states that there is no set of numbers between the integers and real numbers. It was later included as the first of mathematician David Hilbert's twenty-three unsolved math problems, famously delivered as a manifesto to the field of mathematics at the International Congress of Mathematicians in Paris in 1900. In The Consistency of the Continuum Hypothesis Gödel set forth his proof for this problem. In 1999, Time magazine ranked him higher than fellow scientists Edwin Hubble, Enrico Fermi, John Maynard Keynes, James Watson, Francis Crick, and Jonas Salk. He is most renowned for his proof in 1931 of the 'incompleteness theorem,' in which he demonstrated that there are problems that cannot be solved by any set of rules or procedures. His proof wrought fruitful havoc in mathematics, logic, and beyond. (shrink)

We investigate computability theoretic and topological properties of spaces of orders on computable orderable groups. A left order on a group G is a linear order of the domain of G, which is left-invariant under the group operation. Right orders and bi-orders are defined similarly. In particular, we study groups for which the spaces of left orders are homeomorphic to the Cantor set, and their Turing degree spectra contain certain upper cones of degrees. Our approach unifies and extends Sikora’s (...) [28] investigation of orders on groups in topology and Solomon’s [31] investigation of these orders in computable algebra. Furthermore, we establish that a computable free group Fn of rank n>1 has a bi-order in every Turing degree. (shrink)

This volume shows Bertrand Russell in transition from a neo-Kantian and neo-Hegelian philosopher to an analytic philosopher of the highest rank. During this period, his research centered on writing The Principles of Mathematics. The volume draws together previously unpublished drafts which shed light on Russell's struggle to accept Cantor's notion of continuum as well as Russell's infinite ordinal and cardinal numbers. It also includes the first version of Russell's Paradox.

An infinite binary sequence is complex if the Kolmogorov complexity of its initial segments is bounded below by a computable function. We prove that a Π₁⁰ class P contains a complex element if and only if it contains a wtt-cover for the Cantor set. That is, if and only if for every Y⊆ω there is an X in P such that X≥wtt Y. We show that this is also equivalent to the Π₁⁰ class's being large in some sense. We (...) give an example of how this result can be used in the study of scattered linear orders. (shrink)

A dictionary is a set of finite words over some finite alphabet X. The omega-power of a dictionary V is the set of infinite words obtained by infinite concatenation of words in V. Lecomte studied in [Omega-powers and descriptive set theory, JSL 2005] the complexity of the set of dictionaries whose associated omega-powers have a given complexity. In particular, he considered the sets $W({bfSi}^0_{k})$ (respectively, $W({bfPi}^0_{k})$, $W({bfDelta}_1^1)$) of dictionaries $V subseteq 2^star$ whose omega-powers are ${bfSi}^0_{k}$-sets (respectively, ${bfPi}^0_{k}$-sets, Borel sets). In (...) this paper we first establish a new relation between the sets $W({bfSigma}^0_{2})$ and $W({bfDelta}_1^1)$, showing that the set $W({bfDelta}_1^1)$ is ``more complex' than the set $W({bfSigma}^0_{2})$. As an application we improve the lower bound on the complexity of $W({bfDelta}_1^1)$ given by Lecomte. Then we prove that, for every integer $kgeq 2$, (respectively, $kgeq 3$) the set of dictionaries $W({bfPi}^0_{k+1})$ (respectively, $W({bfSi}^0_{k+1})$) is ``more complex' than the set of dictionaries $W({bfPi}^0_{k})$ (respectively, $W({bfSi}^0_{k})$). (shrink)

Some people will confront Alzheimer's with a measure of resignation, a determination to struggle against the progressive debilitation and to extract whatever comforts and benefits they can from their remaining existence. They are entitled to pursue that resolute path. For other people, like myself, protracted maintenance during progressive cognitive dysfunction and helplessness is an intolerably degrading prospect. The critical question for those of us seeking to avoid protracted dementia is how best to accomplish that objective.One strategy is to engineer one's (...) own death while still mentally competent to do so (even in the stage of mild dementia). If I were to use a preemptive strategy in the face of a dementia diagnosis, I would probably choose to stop eating and drinking, a process known as voluntarily stopping eating and drinking. An alternative tactic for avoiding prolonged dementia would be to allow oneself to decline into moderate dementia—thus losing capacity to perform self‐deliverance or even to make serious medical decisions—but before getting to that point to provide advance instructions rejecting prospective life‐sustaining medical interventions. These advance instructions would authorize palliative but not curative measures. My current personal instructions define the point of intolerable cognitive decline triggering medical nonintervention as “mental deterioration to a point when I can no longer read and understand written material such as a newspaper or financial records such as a checkbook.” These instructions dictate allowing my demise at a point of moderate dementia when I may not be perceptibly suffering, when I may still be getting some rudimentary satisfaction from my debilitated life, and when I no longer recall the preoccupation with personally intolerable indignity that motivated my instructions. Can I expect that my advance instructions will be implemented in those circumstances? Is it lawful, and is it moral for a surrogate decision‐maker and associated caregivers to allow an uncomprehending, ostensibly content but demented individual to die? My analysis herein contends that it is not only lawful and moral but also legally required to implement clear, considered advance instructions even at a stage of moderate dementia. (shrink)

While many aspects of Shapin's historical thesis are accepted, this paper raises objections to specific parts of his historical account, and also to the historiographical assumptions underlying his sociological programme. In particular, Shapin's claim to have explained the Edinburgh phrenology debate in social terms is analysed and rejected.

Following the death of James Joseph Sylvester in 1897, contributions were collected in order to mark his life and work by a suitable memorial. This initiative resulted in the Sylvester Medal, which is awarded triennially by the Royal Society for the encouragement of research into pure mathematics. Ironically the main advocate for initiating this medal was not a fellow mathematician but the chemist and naturalist Raphael Meldola. Religion, not mathematics, provided the link between Meldola and Sylvester; they were among the (...) very few Jewish Fellows of the Royal Society. This paper focuses primarily on the politics of the Anglo-Jewish community and why it, together with a number of scientists and mathematicians, supported Meldola in creating the Sylvester Medal. (shrink)

It is widely believed that the ancient Greeks thought that Thales was the first philosopher, and that they therefore maintained that philosophy had a Greek origin. This paper challenges these assumptions, arguing that most ancient Greek thinkers who expressed views about the history and development of philosophy rejected both positions. I argue that not even Aristotle presented Thales as the first philosopher, and that doing so would have undermined his philosophical commitments and interests. Beyond Aristotle, the view that Thales was (...) the first philosopher is attested almost nowhere in antiquity. In the classical, Hellenistic, and post-Hellenistic periods, we witness a marked tendency to locate the beginning of philosophy in a time going back further than Thales. Remarkably, ancient Greek thinkers most often traced the origins of philosophy to earlier non-Greek peoples. Contrary to the received view, then, I argue that (1) vanishingly few Greek writers pronounced Thales the first philosopher; and (2) most Greek thinkers did not even advocate a Greek origin of philosophy. Finally, I show that the view that philosophy originated with Thales (along with its misleading attribution to the Greeks in general) has roots in problematic, and in some cases manifestly racist, eighteenth-century historiography of philosophy. (shrink)

Science and Christianity Content Type Journal Article Category Book Review Pages 1-4 DOI 10.1007/s11016-011-9544-2 Authors Geoffrey Cantor, Science and Technology Studies, University College London, Gower Street, London, WC1E 6BT UK Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

Name der Zeitschrift: Semiotica Jahrgang: 2018 Heft: 221 Seiten: 105-121.