$L({Q^{\mathrm{cf}}})$
&rft.title=Bulletin+of+Symbolic+Logic&rft.issn=1079-8986&rft.date=2020&rft.volume=26&rft.spage=212&rft.epage=218&rft.aulast=CASANOVAS&rft.aufirst=ENRIQUE&rft.au=ENRIQUE+CASANOVAS&rft.au=MARTIN+ZIEGLER&rft_id=info:doi/10.1017/bsl.2020.4">AN EXPOSITION OF THE COMPACTNESS OF
$L({Q^{\mathrm{cf}}})$
Authors:ENRIQUE CASANOVAS; MARTIN ZIEGLER Pages: 212 - 218 Abstract: We give an exposition of the compactness of $L({Q^{\mathrm{\,cf}}\!\!\!\!\!\!}_{C})$, for any set C of regular cardinals. PubDate: 2020-12-01T00:00:00.000Z DOI: 10.1017/bsl.2020.4 Issue No:Vol. 26, No. 3-4 (2020)
Authors:MATTHEW FOREMAN Pages: 219 - 223 Abstract: In 1932, von Neumann proposed classifying the statistical behavior of differentiable systems. Joint work of B. Weiss and the author proved that the classification problem is complete analytic. Based on techniques in that proof, one is able to show that the collection of recursive diffeomorphisms of the 2-torus that are isomorphic to their inverses is $\Pi ^0_1$-hard via a computable 1-1 reduction. As a corollary there is a diffeomorphism that is isomorphic to its inverse if and only if the Riemann Hypothesis holds, a different one that is isomorphic to its inverse if and only if Goldbach’s conjecture holds and so forth. Applying the reduction to the $\Pi ^0_1$-sentence expressing “ZFC is consistent” gives a diffeomorphism T of the 2-torus such that the question of whether $T\cong T^{-1}$ is independent of ZFC. PubDate: 2020-12-01T00:00:00.000Z DOI: 10.1017/bsl.2020.36 Issue No:Vol. 26, No. 3-4 (2020)
Authors:SEBASTIAAN A. TERWIJN Pages: 224 - 240 Abstract: We prove a number of elementary facts about computability in partial combinatory algebras (pca’s). We disprove a suggestion made by Kreisel about using Friedberg numberings to construct extensional pca’s. We then discuss separability and elements without total extensions. We relate this to Ershov’s notion of precompleteness, and we show that precomplete numberings are not 1–1 in general. PubDate: 2020-12-01T00:00:00.000Z DOI: 10.1017/bsl.2020.46 Issue No:Vol. 26, No. 3-4 (2020)
Authors:SAEED SALEHI Pages: 241 - 256 Abstract: The proofs of Gödel (1931), Rosser (1936), Kleene (first 1936 and second 1950), Chaitin (1970), and Boolos (1989) for the first incompleteness theorem are compared with each other, especially from the viewpoint of the second incompleteness theorem. It is shown that Gödel’s (first incompleteness theorem) and Kleene’s first theorems are equivalent with the second incompleteness theorem, Rosser’s and Kleene’s second theorems do deliver the second incompleteness theorem, and Boolos’ theorem is derived from the second incompleteness theorem in the standard way. It is also shown that none of Rosser’s, Kleene’s second, or Boolos’ theorems is equivalent with the second incompleteness theorem, and Chaitin’s incompleteness theorem neither delivers nor is derived from the second incompleteness theorem. We compare (the strength of) these six proofs with one another. PubDate: 2020-12-01T00:00:00.000Z DOI: 10.1017/bsl.2020.22 Issue No:Vol. 26, No. 3-4 (2020)
Authors:FERNANDO FERREIRA Pages: 257 - 267 Abstract: It is well-known that an element of a commutative ring with identity is nilpotent if, and only if , it lies in every prime ideal of the ring. A modification of this fact is amenable to a very simple proof mining analysis. We formulate a quantitative version of this modification and obtain an explicit bound. We present an application. This proof mining analysis is the leitmotif for some comments and observations on the methodology of computational extraction. In particular, we emphasize that the formulation of quantitative versions of ordinary mathematical theorems is of independent interest from proof mining metatheorems. PubDate: 2020-12-01T00:00:00.000Z DOI: 10.1017/bsl.2020.48 Issue No:Vol. 26, No. 3-4 (2020)
Authors:YONG CHENG Pages: 268 - 286 Abstract: In this paper, we examine the limit of applicability of Gödel’s first incompleteness theorem ($\textsf {G1}$ for short). We first define the notion “$\textsf {G1}$ holds for the theory $T$”. This paper is motivated by the following question: can we find a theory with a minimal degree of interpretation for which $\textsf {G1}$ holds. To approach this question, we first examine the following question: is there a theory T such that Robinson’s $\mathbf {R}$ interprets T but T does not interpret $\mathbf {R}$ (i.e., T is weaker than $\mathbf {R}$ w.r.t. interpretation) and $\textsf {G1}$ holds for T? In this paper, we show that there are many such theories based on Jeřábek’s work using some model theory. We prove that for each recursively inseparable pair $\langle A,B\rangle $, we can construct a r.e. theory $U_{\langle A,B\rangle }$ such that PubDate: 2020-12-01T00:00:00.000Z DOI: 10.1017/bsl.2020.9 Issue No:Vol. 26, No. 3-4 (2020)
Subscription journal
$L({Q^{\mathrm{\,cf}}\!\!\!\!\!\!}_{C})$, for any set C of regular cardinals.
$\Pi ^0_1$-hard via a computable 1-1 reduction. As a corollary there is a diffeomorphism that is isomorphic to its inverse if and only if the Riemann Hypothesis holds, a different one that is isomorphic to its inverse if and only if Goldbach’s conjecture holds and so forth. Applying the reduction to the 
$\Pi ^0_1$-sentence expressing “ZFC is consistent” gives a diffeomorphism T of the 2-torus such that the question of whether 
$T\cong T^{-1}$ is independent of ZFC.
$\textsf {G1}$ for short). We first define the notion “
$\textsf {G1}$ holds for the theory 
$T$”. This paper is motivated by the following question: can we find a theory with a minimal degree of interpretation for which 
$\textsf {G1}$ holds. To approach this question, we first examine the following question: is there a theory T such that Robinson’s 
$\mathbf {R}$ interprets T but T does not interpret 
$\mathbf {R}$ (i.e., T is weaker than 
$\mathbf {R}$ w.r.t. interpretation) and 
$\textsf {G1}$ holds for T? In this paper, we show that there are many such theories based on Jeřábek’s work using some model theory. We prove that for each recursively inseparable pair 
$\langle A,B\rangle $, we can construct a r.e. theory 
$U_{\langle A,B\rangle }$ such that 
