Degrees of unsolvability : structure and theory /

Degrees of unsolvability : structure and theory /

41

Bibliographic Details
Main Author:	Epstein, Richard L.
Format:
Published:	Berlin : Springer-Verlag, 1979
Subjects:	Unsolvability (Mathematical logic)

Similar Items

Minimun degree of the unsolvability and the full approximation construction /
by: Epstein, Richard L.
Published: (1975)

Unsolvable classes of quantificational formulas /
by: 366676 Lewis, Harry R.
Published: (1979)

The decision problem : solvable classes of quantificational formulas /
by: 349366 Dreben, Burton, et al.
Published: (1979)

Unsolved serial homicides in Australia, 1965–2022
by: Amber McKinley, et al.
Published: (2023-03-01)

UNSOLVED AND LATENT CRIME: DIFFERENCES AND SIMILARITIES
by: M. Kleymenov
Published: (2017-03-01)

Personality and Cognitive Profiles of Animal-Assisted Intervention Dogs and Pet Dogs in an Unsolvable Task
by: Patrizia Piotti, et al.
Published: (2021-07-01)

Trier Social Stress Test Elevates Blood Pressure, Heart Rate, and Anxiety, But a Singing Test or Unsolvable Anagrams Only Elevates Heart Rate, among Healthy Young Adults
by: Isabelle K. Sequeira, et al.
Published: (2021-06-01)

Unsolvability Cores in Classification Problems
by: Hermann K. -G. Walter, et al.
Published: (2014-06-01)

Wisdom-related attitudes in psychosomatic patients and in a convenience sample
by: Anne Meier-Credner, et al.
Published: (2023-12-01)

Effect of Sex and Reproductive Status on Inhibitory Control and Social Cognition in the Domestic Dog (<i>Canis familiaris</i>)
by: Saara Junttila, et al.
Published: (2021-08-01)

Contributions to degree structures
by: Wang, Shenling
Published: (2011)

Degree structures below 0'
by: Liu, Jiang
Published: (2010)

On the algebraic structure of Weihrauch degrees
by: Vasco Brattka, et al.
Published: (2018-10-01)

Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees
by: Eike Neumann
Published: (2015-12-01)

Methods to Improve Molecular Diagnosis in Genomic Cold Cases in Pediatric Neurology
by: Magda K. Kadlubowska, et al.
Published: (2022-02-01)

Processing and Transmission of Information
by: Huffman, D. A., et al.
Published: (2010)

Degrees of unsolvability /
by: 430728 Sacks, Gerald E.
Published: (1966)

Cupping in the computably enumerable degrees
by: Tran, Hong Hanh
Published: (2023)

Nonhemimaximal degrees and the high/low hierarchy
by: Fang, Chengling, et al.
Published: (2013)

On equivalence relations and bounded turing degrees
by: Yu, Hongyuan
Published: (2018)

On Existence of Prime K-Tuples Conjecture for Positive Proportion of Admissible K-Tuples
by: Ashish Mor, et al.
Published: (2024-03-01)

Local structure theory and the Ershov hierarchy
by: Fang, Chengling
Published: (2012)

Tomorrow's math : unsolved problems for the amateur /
by: 355259 Ogilvy, Charles Stanley
Published: (1972)

Classical mathematical logic : the semantic foundations of logic /
by: Epstein, Richard L., 1947-
Published: (2006)

Instance reducibility and Weihrauch degrees
by: Andrej Bauer
Published: (2022-08-01)

Coalgebraic Geometric Logic: Basic Theory
by: Nick Bezhanishvili, et al.
Published: (2022-12-01)

Logic design theory /
by: Biswas, Nripendra Nath, 1928-
Published: (1993)

Constructing categories and setoids of setoids in type theory
by: Erik Palmgren, et al.
Published: (2014-09-01)

Computability theory and applications
by: Khoo, Kai Jun
Published: (2023)

Elements of mathematical logic (model theory) /
by: 351900 Kreisel, G., et al.
Published: (1971)

Introduction to mathematical logic : set theory computable functions model theory /
by: Malitz, J
Published: (1979)

Axiomatic set theory beyond the continuum hypothesis
by: Neo, Chee Heng
Published: (2022)

Unsolved problems in number theory /
by: 449146 Guy, Richard K.
Published: (2004)

Mathematical logic : applications and theory /
by: 461395 Rubin, Jean E.
Published: (1990)

What logics mean : from proof theory to model-theoretic semantics /
by: Garson, James W., 1943-
Published: (2013)

The theory of models : proceedings /
by: 389695 Addison, J. W., et al.
Published: (1975)

Computability theory and algebra
by: Wu, Huishan
Published: (2017)

A Forgotten Theory of Proofs ?
by: Erwin Engeler
Published: (2019-07-01)

Computability theory and degree structures
by: Yuan, Bowen
Published: (2020)

Intuitionistic logic model theory and forcing /
by: Fitting, Melvin, 1942-
Published: (1969)