Jump to main content

yr 〜
yr

Search results 23

A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability : pbk : [hardback]

A hierarchy of Turing degrees : a transfinite hierarchy of lowness notions in the computably enumerable degrees, unifying classes, and natural definability : pbk : [hardback]
Paper図書
Rod Downey, Noam GreenbergPrinceton University Press2020
Other Libraries in Japan
  • Subject HeadingUnsolvability (Mathematical logic) Computable functions Recursiv...
  • Subject Heading (ID)Unsolvability (Mathematical logic) Computable functions Recursiv...

Impossibility results for distributed computing : pbk

Impossibility results for distributed computing : pbk
Paper図書
Hagit Attiya, Faith EllenSpringerc2022
Other Libraries in Japan
  • Subject Heading...nal complexity Unsolvability (Mathematical logic)
  • Subject Heading (ID)...nal complexity Unsolvability (Mathematical logic)

Minimal weak truth table degrees and computably enumerable Turing degrees

Minimal weak truth table degrees and computably enumerable Turing degrees
Paper図書
Rodney G. Downey, Keng Meng Ng, Reed SolomonAmerican Mathematical Societyc2020
Other Libraries in Japan
  • Subject HeadingUnsolvability (Mathematical logic) Recursively enumerable sets C...
  • Subject Heading (ID)Unsolvability (Mathematical logic) Recursively enumerable sets C...

Degree spectra of relations on a cone

Degree spectra of relations on a cone
Paper図書
Matthew Harrison-TrainorAmerican Mathematical Societyc2018
Other Libraries in Japan
  • Subject HeadingUnsolvability (Mathematical logic) Conic sections Angles (Geomet...
  • Subject Heading (ID)Unsolvability (Mathematical logic) Conic sections Angles (Geomet...

Forcing, iterated ultrapowers, and turing degrees

Forcing, iterated ultrapowers, and turing degrees
Paper図書
editors Chitat Chong, ... [et. al.]World Scientificc2016
Other Libraries in Japan
  • Subject Heading...d mathematical Unsolvability (Mathematical logic)
  • Subject Heading (ID)...d mathematical Unsolvability (Mathematical logic)

The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions : pbk.

The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions : pbk.
Paper図書
edited by Martin DavisDover Publication2004
Other Libraries in Japan
  • Subject HeadingGödel's theorem Unsolvability (Mathematical logic) Recursive functions Turing ma...
  • Subject Heading (ID)Gödel's theorem Unsolvability (Mathematical logic) Recursive functions Turing ma...

Degrees of unsolvability : structure and theory / Richard L. Epstein. (Lecture notes in mathematics ; 759)

Degrees of unsolvability : structure and theory / Richard L. Epstein. (Lecture notes in mathematics ; 759)
Paper図書
Springer-Verlag1979.<MA41-152>
National Diet Library
  • Subject HeadingUnsolvability (Mathematical logic) Lattices, Distributive.

Computability, enumerability, unsolvability : directions in recursion theory

Computability, enumerability, unsolvability : directions in recursion theory
Paper図書
edited by S.B. Cooper, T.A. Slaman, S.S. WainerCambridge University Press1996
Other Libraries in Japan
  • Subject HeadingRecursion theory Computable functions Unsolvability (Mathematical logic)
  • Subject Heading (ID)Recursion theory Computable functions Unsolvability (Mathematical logic)

Cornerstones of undecidability

Cornerstones of undecidability
Paper図書
Grzegorz Rozenberg and Arto SalomaaPrentice Hall1994
Other Libraries in Japan
  • Subject HeadingUnsolvability (Mathematical logic) Decidability (Mathematical lo...
  • Subject Heading (ID)Unsolvability (Mathematical logic) Decidability (Mathematical lo...

Degrees of unsolvability : local and global theory :us :wb

Degrees of unsolvability : local and global theory :us :wb
Paper図書
Manuel LermanSpringer-Verlag1983
Other Libraries in Japan
  • Subject HeadingUnsolvability (Mathematical logic)
  • Subject Heading (ID)Unsolvability (Mathematical logic)

Degrees of unsolvability. (Annals of mathematics studies, 55)

Degrees of unsolvability. (Annals of mathematics studies, 55)
Paper図書
Princeton University Press1963.<517.5-S121d>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingRecursive functions. Unsolvability (Mathematical logic)

Индексные множества и степени некоторых классов рекурсивно перечислимых множеств

Индексные множества и степени некоторых классов рекурсивно перечислимых множеств
Paper図書
С. КаллибековИзд-во "Фан" Узбекской ССР1983
Other Libraries in Japan
  • Subject HeadingRecursive functions Set theory Unsolvability (Mathematical logic)
  • Subject Heading (ID)Recursive functions Set theory Unsolvability (Mathematical logic)

Computability & unsolvability : pbk Dover ed

Computability & unsolvability : pbk Dover ed
Paper図書
Martin DavisDover1982
Other Libraries in Japan
  • Subject HeadingRecursive functions Unsolvability (Mathematical logic) Computable functions
  • Subject Heading (ID)Recursive functions Unsolvability (Mathematical logic) Computable functions

Computability & unsolvability : pbk.

Computability & unsolvability : pbk.
Paper図書
Martin DavisDover Publicationsc1982
Other Libraries in Japan
  • Subject HeadingRecursive functions Unsolvability (Mathematical logic) Computable functions
  • Subject Heading (ID)Recursive functions Unsolvability (Mathematical logic) Computable functions

Вычислимое и невычислимое

Вычислимое и невычислимое
Paper図書
Ю.И. Манин"Советское радио"1980
Other Libraries in Japan
  • Subject HeadingRecursive functions Unsolvability (Mathematical logic) Computable functions
  • Subject Heading (ID)Recursive functions Unsolvability (Mathematical logic) Computable functions

The decision problem : solvable classes of quantificational formulas

The decision problem : solvable classes of quantificational formulas
Paper図書
Burton Dreben, Warren D. GoldfarbAddison-Wesley, Advanced Book Program1979
Other Libraries in Japan
  • Subject HeadingPredicate calculus Unsolvability (Mathematical logic)
  • Subject Heading (ID)Predicate calculus Unsolvability (Mathematical logic)

Degrees of unsolvability : structure and theory : Berlin : New York

Degrees of unsolvability : structure and theory : Berlin : New York
Paper図書
Richard L. EpsteinSpringer-Verlag1979
Other Libraries in Japan
  • Subject HeadingUnsolvability (Mathematical logic) Lattices, Distributive
  • Subject Heading (ID)Unsolvability (Mathematical logic) Lattices, Distributive

Unsolvable classes of quantificational formulas

Unsolvable classes of quantificational formulas
Paper図書
Harry R. LewisAddison-Wesley Pub. Co.1979
Other Libraries in Japan
  • Subject HeadingUnsolvability (Mathematical logic) Combinatorial analysis Comput...
  • Subject Heading (ID)Unsolvability (Mathematical logic) Combinatorial analysis Comput...

Степени неразрешимости

Степени неразрешимости
Paper図書
Дж. Шенфилд ; перевод с английского И.А. Лаврова ; под редакцией Ю.Л. ЕршоваИзд-во "Наука", Главная редакция физико-математической лит-ры1977
Other Libraries in Japan
  • Subject HeadingLogic, Symbolic and mathematical Recursive functions Unsolvability (Mathematical logic)
  • Subject Heading (ID)Logic, Symbolic and mathematical Recursive functions Unsolvability (Mathematical logic)

Minimal degrees of unsolvability and the full approximation construction

Minimal degrees of unsolvability and the full approximation construction
Paper図書
Richard L. EpsteinAmerican Mathematical Society1975
Other Libraries in Japan
  • Subject HeadingUnsolvability (Mathematical logic) Recursive functions Construct...
  • Subject Heading (ID)Unsolvability (Mathematical logic) Recursive functions Construct...
RSS