DOCSLIB.ORG

The Journal of Symbolic Logic

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Journal of Symbolic Logic THE JOURNAL OF SYMBOLIC LOGIC. VOL 41. Number 1. 1976. C. T. Chong. “An infinite injury method of the unbounded type” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 1-17 Michael Beeson. “The unprovability in intuitionistic formal systems of the continuity of effective operations on the reals” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 18-24 Julia F. Knight. “Omitting types in set theory and arithmetic” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 25-32 William Boos. “Infinitary compactness without strong inaccessibility” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 33-38 Charles E. Hughes. “Two variable implicational calculi of prescribed many-one degrees of unsolvabilyty” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 39-44 Charles E. Hughes. “A reduction class containing formulas with one monadic predicate and one binary function symbol” The journal of symbolic logic. Vol. 41. Number 1, 1976 pagina 45-49 Ronald Fagin. “Probabilities on finite models” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 50-58 Victor Harnik. “Approximation theorems and model theoretic forcing” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 59-72 Zofia Adamowicz. “One more aspect of forcing and omitting types” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 73-80 Dov M. Gabbay. “Completeness properties of Heytings predicate calculus with respect to RE models” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 81-94 Volker Weispfennig. “Negative- existentially complete structures and definability in free extensions” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 95-108 Anders M. Nyberg. “Uniform inductive definability and infinitary languages” The journal of symbolic logic. Vol. 41. Number 1, 1976 página 109-120 THE JOURNAL OF SYMBOLIC LOGIC. VOL 41. Number 2. 1976. A. H. Lanchlan and R. Lebeuf. “Countable initial segments of degrees of unsolvability” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 289-300 J. F. A. K. Van Benthem. “Modal reduction principles” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 301-312 Zofia Adamowicz. “On finite lattices of degrees of constructibility of reals.” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 313-322 William C. Powell. “A completeness theorem for Zermelo- Fraenkel set theory” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 323-327 Michael J. Beeson. “Derived rules of inference related to the continuity of effective operations” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 328-336 Scott K. Lehmann. “A interpretation of modal first- order languages in classical second- order languages” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 337- 340 Harry R. Lewis. “Krom formulas with one dyadic predicate letter” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 341-362 Harvey Friedman. “Uniformly defined descending sequences of degrees” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 363-367 John Paulos. “Noncharacterizability of the syntax set” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 368-372 Douglas R. Busch. “-scales-, Souslin sets and a new definition of analytic sets” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 373-378 H. Simmons. “Large and small existentially closed structures” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 379-390 J. C. E. Dekker. “Projective planes of infinite but isolic order” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 391-404 Manuel Lerman. “Congrence relations, filters, ideals, and definability in lattices of recursively enumerable sets” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 405-418 Manuel Lerman. “Types of simple –recursively enumerable sets” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 419-426 F. Lowenthal. “Equivalence of some definitions of recursion in a higher type object” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 427-435 J. F. A. K. Van Benthem. “Modal formulas are either or not elementary” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 436-438 Larry W. Miller. “Normal functions and constructive ordinal notations” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 439-459 Yuri Gurevich. “The decision problem for standard classes” The journal of symbolic logic. Vol. 41. Number 2, 1976 página 460-464 THE JOURNAL OF SYMBOLIC LOGIC. VOL 41. Number 3. 1976. Charles Rackoff. “On the complexity of the theories of weak direct powers” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 561-573 Nicolas D. Goodman. “The theory of the Godel functionals” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 574-582 Julia F. Knight. “Hanf numbers for omitting types over particular theories” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 583-588 George F. McNulty. “Undecidable properties of finite sets of equations” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 589-604 Angus MacIntyre. “On definable subsets of p-adic fiels” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 605-610 J. B. Remmel. “Co-hipersimple structures” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 611-625 Robert P. Daley. “Noncomplex sequences: characterizations and examples” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 626-638 Erik Ellentuck. “Categoricity ragained” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 639-643 H. de Swart. “Another intuitionistic completeness proof” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 644-662 John Gregory. “Higher Souslin trees and the generalized continuum hypothesis” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 663-671 Robert E. Woodrow. “A note on countable complete theories having theree isomorphism types of countable models” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 672-680 Richard A. Shore. “Types of simple recursively enumerable sets” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 681-694 J.R. Shoenfield. “Degrees of classes of RE sets” The journal of symbolic logic. Vol. 41. Number 3, 1976 página 695-696 THE JOURNAL OF SYMBOLIC LOGIC. VOL 41. Number 4. 1976. M. H. Lob. “Embedding first order predicate logic in fragments of intutionistic” The journal of symbolic logic. Vol. 41. Number 4, 1976 página 705-718 Johan Moldestad and Dag Normann. “Models for recursion theory” The journal of symbolic logic. Vol. 41. Number 4, 1976 página 719-729 Kenneth Slonneger. “A complete infinitary logic” The journal of symbolic logic. Vol. 41. Number 4, 1976 página 730-746 Alonzo Church. “Comparison of Russells resolution of sementical antinomies with that of Tarski” The journal of symbolic logic. Vol. 41. Number 4, 1976 página 747-760 Stephen C. Kleene. “The work of Kurt Godel” The journal of symbolic logic. Vol. 41. Number 4, 1976 página 761-778 George Boolos. “On deciding the truth of certain statements involving the notion of consistency” The journal of symbolic logic. Vol. 41. Number 4, 1976 página 779-781 THE JOURNAL OF SYMBOLIC LOGIC. VOL 42. Number 1. 1977. John M. MacIntyre. “Transfinite extensions of Friedbergs completeness criterion” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 1-10 Jonathan P. Seldin. “A sequent for calculus for type assignment” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 11-28 Ernest Snapper. “Omitting models” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 29-32 Jonathan Stavi. “The pure part of HYP (M)” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 33-46 Barry E. Jacobs. “On generalized computational complexity” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 47-58 Julia F. Knight. “A complete sentence characterizing” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 59-62 Nobuyoshi Motohashi. “A remark on Scotts interpolation theorem for” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 63 Petr Stepanek and Bohuslav Balcar. “Embedding theorems for Boolean algebras and consistency results on ordinal definable sets” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 64-76 Stanley H. Stahl. “Primitive recursive ordinal functions with added constants” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 77-82 Nobuyoshi Motohashi. “Partially ordered interpretations” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 83-93 Julia F. Knight. “Skolem functions and elementary embeddings” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 94-98 C. Smorynski. “A note on the number of zeros of polynomials and exponential polynomials” The journal of symbolic logic. Vol. 42. Number 1, 1977 página 99-106 THE JOURNAL OF SYMBOLIC LOGIC. VOL 42. Number 2. 1977. Philip W. Grant. “Strict- Il predicates on countable and cofinality transitive sets” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 161-173 James H. Schmerl. “An axiomatization for a class of two-cardinal models” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 174-178 David Pincus and Robert M. Solovay. “Definability of measures and ultrafilters” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 179-190 George Boolos. “On deciding the provability of certain fixed point statements” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 191-193 A. S. Troelstra. “Some models for intuitionistic finite type arithmetic with fan functional” The journal of symbolic logic. Vol. 42. Number 2, 1977 página 194-202 James E. Baumgartner, Alan D.
Load more

Recommended publications
  • A Bounded Jump for the Bounded Turing Degrees
    A bounded jump for the bounded Turing degrees Bernard A. Anderson Barbara F. Csima ∗ Department of Pure Mathematics Department of Pure Mathematics University of Waterloo University of Waterloo [email protected] [email protected] www.math.uwaterloo.ca/∼b7anders www.math.uwaterloo.ca/∼csima Abstract b We define the bounded jump of A by A = fx 2 ! j 9i ≤ x['i(x) # A'i(x) nb ^ Φx (x)#]g and let A denote the n-th bounded jump. We demon- strate several properties of the bounded jump, including that it is strictly increasing and order preserving on the bounded Turing (bT ) degrees (also known as the weak truth-table degrees). We show that the bounded jump is related to the Ershov hierarchy. Indeed, for n ≥ 2 we have nb n nb X ≤bT ; () X is ! -c.e. () X ≤1 ; , extending the classical 0 result that X ≤bT ; () X is !-c.e.. Finally, we prove that the ana- logue of Shoenfield inversion holds for the bounded jump on the bounded b 2b Turing degrees. That is, for every X such that ; ≤bT X ≤bT ; , there b b is a Y ≤bT ; such that Y ≡bT X. 1 Introduction In computability theory, we are interested in comparing the relative computa- tional complexities of infinite sets of natural numbers. There are many ways of doing this, and which method is used often depends on the purpose of the study, or how fine a comparison is desired. Two sets of the same computational com- plexity (X ≤ Y and Y ≤ X) are said to be in the same degree.
    [Show full text]
  • THERE IS NO DEGREE INVARIANT HALF-JUMP a Striking
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 10, October 1997, Pages 3033{3037 S 0002-9939(97)03915-4 THERE IS NO DEGREE INVARIANT HALF-JUMP RODNEY G. DOWNEY AND RICHARD A. SHORE (Communicated by Andreas R. Blass) Abstract. We prove that there is no degree invariant solution to Post's prob- lem that always gives an intermediate degree. In fact, assuming definable de- terminacy, if W is any definable operator on degrees such that a <W (a) < a0 on a cone then W is low2 or high2 on a cone of degrees, i.e., there is a degree c such that W (a)00 = a for every a c or W (a)00 = a for every a c. 00 ≥ 000 ≥ A striking phenomenon in the early days of computability theory was that every decision problem for axiomatizable theories turned out to be either decidable or of the same Turing degree as the halting problem (00,thecomplete computably enumerable set). Perhaps the most influential problem in computability theory over the past fifty years has been Post’s problem [10] of finding an exception to this rule, i.e. a noncomputable incomplete computably enumerable degree. The problem has been solved many times in various settings and disguises but the so- lutions always involve specific constructions of strange sets, usually by the priority method that was first developed (Friedberg [2] and Muchnik [9]) to solve this prob- lem. No natural decision problems or sets of any kind have been found that are neither computable nor complete. The question then becomes how to define what characterizes the natural computably enumerable degrees and show that none of them can supply a solution to Post’s problem.
    [Show full text]
  • An Introduction to Computability Theory
    AN INTRODUCTION TO COMPUTABILITY THEORY CINDY CHUNG Abstract. This paper will give an introduction to the fundamentals of com- putability theory. Based on Robert Soare's textbook, The Art of Turing Computability: Theory and Applications, we examine concepts including the Halting problem, properties of Turing jumps and degrees, and Post's Theo- rem.1 In the paper, we will assume the reader has a conceptual understanding of computer programs. Contents 1. Basic Computability 1 2. The Halting Problem 2 3. Post's Theorem: Jumps and Quantifiers 3 3.1. Arithmetical Hierarchy 3 3.2. Degrees and Jumps 4 3.3. The Zero-Jump, 00 5 3.4. Post's Theorem 5 Acknowledgments 8 References 8 1. Basic Computability Definition 1.1. An algorithm is a procedure capable of being carried out by a computer program. It accepts various forms of numerical inputs including numbers and finite strings of numbers. Computability theory is a branch of mathematical logic that focuses on algo- rithms, formally known in this area as computable functions, and studies the degree, or level of computability that can be attributed to various sets (these concepts will be formally defined and elaborated upon below). This field was founded in the 1930s by many mathematicians including the logicians: Alan Turing, Stephen Kleene, Alonzo Church, and Emil Post. Turing first pioneered computability theory when he introduced the fundamental concept of the a-machine which is now known as the Turing machine (this concept will be intuitively defined below) in his 1936 pa- per, On computable numbers, with an application to the Entscheidungsproblem[7].
    [Show full text]
  • Arithmetical Hierarchy
    Arithmetical Hierarchy Klaus Sutner Carnegie Mellon University 60-arith-hier 2017/12/15 23:18 1 The Turing Jump Arithmetical Hierarchy Definability Formal Systems Recall: Oracles 3 We can attach an orcale to a Turing machine without changing the basic theory. fegA eth function computable with A A A We = domfeg eth r.e. set with A The constructions are verbatim the same. For example, a universal Turing machine turns into a universal Turing machine plus oracle. The Use Principle 4 We continue to confuse a set A ⊆ N with its characteristic function. For any n write A n for the following finite approximation to the characteristic function: ( A(z) if z < n, (A n)(z) ' " otherwise. For any such function α write α < A if α = A n for some n. Then fegA(x) = y () 9 α < A fegα(x) = y with the understanding that the computation on the right never asks the oracle any questions outside of its domain. Of course, a divergent computation may use the oracle infinitely often. Generalized Halting 5 Definition Let A ⊆ N. The (Turing) jump of A is defined as A0 = KA = f e j fegA(e) # g So ;0 = K; = K is just the ordinary Halting set. The nth jump A(n) is obtained by iterating the jump n times. Jump Properties 6 Let A; B ⊆ N. Theorem A0 is r.e. in A. A0 is not Turing reducible to A. 0 B is r.e. in A iff B ≤m A . Proof. The first two parts are verbatim re-runs of the oracle-free argument.
    [Show full text]
  • The Turing Degrees: Global and Local Structure 1
    The Turing Degrees: Global and Local Structure 1 Richard A. Shore c May 20, 2015 1THIS IS A ROUGH DRAFT. CORRECTIONS, COMMENTS AND SUGGGESTIONS ARE WELCOME. PLEASE SEND TO [email protected]. PLEASE IN- CLUDE THE DATE OF THE DRAFT. THANKS. ii Contents Introduction ix 0.1 Notation.................................... ix 0.2 Pairing and ordered sequences . ix 1 An Overview 1 1.1 History, intuition, undecidability, formalization, ... 1 1.2 Formal de…nitions, models of computation . 1 1.3 Relative computability: Turing machines with oracles . 1 1.4 Degrees, types of questions . 2 2 The Basics 3 2.1 Coding Turing machines with oracles . 3 3 The Turing Degrees 7 4 R.E. Sets and the Turing Jump 11 4.1 TheJumpOperator ............................. 11 4.2 Trees and König’sLemma . 12 4.3 Recursively Enumerable Sets . 16 4.4 Arithmetic Hierarchy . 21 4.5 The Hierarchy Theorem . 24 4.5.1 Indexsets ............................... 25 4.6 JumpHierarchies ............................... 25 5 Embeddings into the Turing Degrees 27 5.1 Embedding Partial Orders in ....................... 27 D 5.2 Extensions of embeddings . 37 5.3 Therangeofthejump ............................ 43 5.3.1 The Friedberg Jump Inversion Theorem . 44 5.3.2 The Shoen…eld Jump Inversion theorem . 45 5.4 Trees and sets of size the continuum . 46 iii iv CONTENTS 6 Forcing in Arithmetic and Recursion Theory 49 6.1 Notions of Forcing and Genericity . 49 6.2 The Forcing Language and Deciding Classes of Sentences . 55 6.3 Embedding Lattices . 63 6.4 E¤ective Successor Structures . 72 7 The Theories of and ( 00) 77 7.1 Interpreting ArithmeticD D .
    [Show full text]
  • Feedback Turing Computability, and Turing Computability As Feedback
    Feedback Turing Computability, and Turing Computability as Feedback Nathanael L. Ackerman Cameron E. Freer Robert S. Lubarsky Dept. of Mathematics Computer Science and AI Lab Dept. of Mathematical Sciences Harvard University Massachusetts Institute of Technology Florida Atlantic University Cambridge, MA 02138 Cambridge, MA 02139 Boca Raton, FL 33431 Email: [email protected] Email: [email protected] Telephone: +1 (561) 297–3340 Email: [email protected] Abstract—The notion of a feedback query is a natural gener- could be thought of as the most conservative notion of com- alization of choosing for an oracle the set of indices of halting putation extending ITTMs that allows the computation to ask computations. Notice that, in that setting, the computations halting questions about other computations of the same type. being run are different from the computations in the oracle: the former can query an oracle, whereas the latter cannot. A While the FITTMs in [10] are presented as generalizations of feedback computation is one that can query an oracle, which itself ITTMs, the notion of an abstract feedback computation works contains the halting information about all feedback computations. for (almost) any model of abstract computation that allows for Although this is self-referential, sense can be made of at least oracles. The fact that the development of feedback needs little some such computations. This threatens, though, to obliterate prior theory, combined with its wide applicability, makes it a the distinction between con- and divergence: before running a computation, a machine can ask the oracle whether that fundamental notion of computability theory. computation converges, and then run it if and only if the In this paper, we will consider the notion of a feedback oracle says “yes.” This would quickly lead to a diagonalization Turing machine, i.e., we will apply this notion of feedback paradox, except that a new distinction is introduced, this time to ordinary Turing machines.
    [Show full text]
  • Background on Turing Degrees and Jump Operators
    Background on Turing Degrees and Jump Operators Hayden Jananthan Vanderbilt University March 18, 2019 Hayden Jananthan (Vanderbilt University) Background on Turing Degrees and Jump Operators March 18, 2019 1 / 38 1 Basic Definitions 2 Arithmetical Theory 3 Hyperarithmetical Theory Hayden Jananthan (Vanderbilt University) Background on Turing Degrees and Jump Operators March 18, 2019 2 / 38 Basic Notation { Topological Spaces ∗ Baire Space: NN with topology generated by subbasis, for σ N , N Nσ f N σ f ∈ ∶= { ∈ S ⊂ } Cantor Space:2 N 0; 1 N with subspace topology. Proposition = { } 1 NN is homeomorphic to R Q with the subspace topology. 2 2N is compact (and is homeomorphic to any compact Hausdorff space without isolated points having∖ a countable basis of clopen sets). Elements of 2N are freely identified with subsets of N via their characteristic functions. Hayden Jananthan (Vanderbilt University) Background on Turing Degrees and Jump Operators March 18, 2019 4 / 38 Basic Notation { Partial Functions Notation: f A B is a function f dom f B where dom f A. Convergence: f x if x dom f (f converges or is defined at x) f ∶x⊆ →otherwise (f diverges∶ or is undefined→ at x). ⊆ Strong Equality:( f) ↓ g if and∈ only if f and g converge on same inputs and are( ) equal↑ when they converge. ≃ Hayden Jananthan (Vanderbilt University) Background on Turing Degrees and Jump Operators March 18, 2019 5 / 38 Partial Recursive Functions Definition (Partial Recursive) k Suppose f N N is given. f is∶⊆partial→ recursive f is algorithmically computable where `algorithm' is interpreted⇐⇒ in your favorite programming language.
    [Show full text]
  • A Galois Connection Between Turing Jumps and Limits
    Logical Methods in Computer Science Vol. 14(3:13)2018, pp. 1–37 Submitted Feb. 15, 2018 https://lmcs.episciences.org/ Published Aug. 31, 2018 A GALOIS CONNECTION BETWEEN TURING JUMPS AND LIMITS VASCO BRATTKA Faculty of Computer Science, Universit¨atder Bundeswehr M¨unchen, Germany and Department of Mathematics and Applied Mathematics, University of Cape Town, South Africa e-mail address: [email protected] Abstract. Limit computable functions can be characterized by Turing jumps on the input side or limits on the output side. As a monad of this pair of adjoint operations we obtain a problem that characterizes the low functions and dually to this another problem that characterizes the functions that are computable relative to the halting problem. Correspondingly, these two classes are the largest classes of functions that can be pre or post composed to limit computable functions without leaving the class of limit computable functions. We transfer these observations to the lattice of represented spaces where it leads to a formal Galois connection. We also formulate a version of this result for computable metric spaces. Limit computability and computability relative to the halting problem are notions that coincide for points and sequences, but even restricted to continuous functions the former class is strictly larger than the latter. On computable metric spaces we can characterize the functions that are computable relative to the halting problem as those functions that are limit computable with a modulus of continuity that is computable relative to the halting problem. As a consequence of this result we obtain, for instance, that Lipschitz continuous functions that are limit computable are automatically computable relative to the halting problem.
    [Show full text]
  • Computability Theory and Algebra
    Computability Theory and Algebra Wu Huishan School of Physical and Mathematical Sciences A thesis submitted to the Nanyang Technological University in partial fulfilment of the requirement for the degree of Doctor of Philosophy 2017 Acknowledgments I would like to thank my supervisor, Prof. Wu Guohua, for teaching me com- putability theory and guiding my research in the past few years. His knowledge, suggestions, and discussions inspire me a lot, and I appreciate him for sharing me with his ideas. His style of teaching, writing of papers and presentations influence me a lot. I am grateful to him for all his efforts for guiding me to be a teacher and to be a researcher. I also want to thank him for supporting my PhD study by his research fund from MOE of Singapore. I would like to thank Prof. Ng Keng Meng, for teaching me a course on first- order logic. I also want to thank my peers and friends, Wang Shaoyi, Ru Junren, Yu Hongyuan, Yuan Bowen for many inspiring discussion and various seminars on logic and computability theory. Last, but not the least, I want to thank my parents for their love and support. i ii Contents Acknowledgments .............................. i Abstract .................................... vi 1 Introduction 1 1.1 Basics of computability theory . 1 1.2 Part I: Bounded-jump operator and the high/low hierarchy . 8 1.3 Part II: Degrees of orders on torsion-free abelian groups . 11 1.4 Part III: Reverse mathematics, abelian groups and modules . 17 I Bounded-jump operator and the high/low hierarchy 26 2 A bounded-low c.e.
    [Show full text]
  • Theory and Applications of Computability
    Theory and Applications of Computability In cooperation with the association Computability in Europe Series Editors Prof. P. Bonizzoni Università degli Studi di Milano-Bicocca Dipartimento di Informatica Sistemistica e Comunicazione (DISCo) Milan Italy [email protected] Prof. V. Brattka Universität der Bundeswehr München Fakultät für Informatik Neubiberg Germany [email protected] Prof. E. Mayordomo Universidad de Zaragoza Departamento de Informática e Ingeniería de Sistemas Zaragoza Spain [email protected] Prof. P. Panangaden McGill University School of Computer Science Montré al Canada [email protected] Founding Editors: P. Bonizzoni, V. Brattka, S.B. Cooper, E. Mayordomo More information about this series at http://www.springer.com/series/8819 Books published in this series will be of interest to the research community and graduate students, with a unique focus on issues of computability. The perspective of the series is multidisciplinary, recapturing the spirit of Turing by linking theoretical and real-world concerns from computer science, mathematics, biology, physics, and the philosophy of science. The series includes research monographs, advanced and graduate texts, and books that offer an original and informative view of computability and computational paradigms. Series Advisory Board Samson Abramsky, University of Oxford Eric Allender, Rutgers, The State University of New Jersey Klaus Ambos-Spies, Universität Heidelberg Giorgio Ausiello, Università di Roma, “La Sapienza” Jeremy Avigad, Carnegie Mellon University
    [Show full text]
  • Well Quasiorders and Hierarchy Theory
    Well Quasiorders and Hierarchy Theory Victor Selivanov A.P. Ershov Institute of Informatics Systems SB RAS and Kazan Federal University Abstract We discuss some applications of WQOs to several fields were hierarchies and reducibilities are the principal classification tools, notably to Descriptive Set Theory, Computability theory and Automata Theory. While the classical hierarchies of sets usually degenerate to structures very close to ordinals, the extension of them to functions requires more complicated WQOs, and the same applies to re- ducibilities. We survey some results obtained so far and discuss open problems and possible research directions. Keywords. Well quasiorder, better quasiorder, quasi-Polish space, Borel hierarchy, Hausdorff hierarchy, Wadge hierarchy, fine hierarchy, reducibility, k-partition, labeled tree, h-quasiorder. 1 Introduction WQO-theory is an important part of combinatorics with deep connections and applications to several parts of mathematics (proof theory, reverse mathematics, descriptive set theory, graph theory) and computer science (verification of infinite-state systems, combinatorics on words and formal languages, automata theory). In this paper we discuss some applications of WQOs to several fields where hierarchies and re- ducibilities are the principal classification tools, notably to descriptive set theory (DST), computability theory and automata theory. The starting point of our discussion are three important parts of DST: (1) The classical Borel, Luzin, and Hausdorff hierarchies in Polish spaces, which are defined using set-theoretic operations. (2) The Wadge hierarchy which is non-classical in the sense that it is based on a notion of reducibility that was not recognized in the classical DST, and on using ingenious versions of Gale-Stewart games rather than the properties of set-theoretic operations.
    [Show full text]
  • Decidability in the Hyperdegrees and a Theorem of Hyperarithmetic Analysis
    DECIDABILITY IN THE HYPERDEGREES AND A THEOREM OF HYPERARITHMETIC ANALYSIS A Dissertation Presented to the Faculty of the Graduate School of Cornell University in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy by James Barnes August 2018 This document is in the public domain. DECIDABILITY IN THE HYPERDEGREES AND A THEOREM OF HYPERARITHMETIC ANALYSIS James Barnes, Ph.D. Cornell University 2018 In this thesis we explore two different topics: the complexity of the theory of the hyperdegrees, and the reverse mathematics of a result in graph theory. For the first, we show the Σ2 theory of the hyperdegrees as an upper-semilattice is decidable, as is the Σ2 theory of the hyperdegrees below Kleene's O as an upper-semilattice with greatest element. These results are related to questions of extensions of embeddings into both structures, i.e., when do embeddings of a structure extend to embeddings of a superstructure. The second part is joint work with Richard Shore and Jun Le Goh. We inves- tigate a theorem of graph theory and find that one formalization is a theorem of hyperarithmetic analysis: the second such example found, as it were, in the wild. This work is ongoing, and more may appear in future publications. BIOGRAPHICAL SKETCH James Barnes was born and raised in the UK. In his early years he loved mathe- matics, but his relationship with it became more mixed when he was a teen. Out of worry he would be bored, he decided to pursue a bachelor's degree in mathematics and philosophy at the Warwick University rather than just studying mathematics.
    [Show full text]