Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')
EuDML - The European Digital Mathematics Library

Login | Register | (Why Register?)

  • Home
  • Advanced Search
  • Browse by Subject
  • Browse by Journals
  • Refs Lookup
  • Subjects
  • 03-XX Mathematical logic and foundations
  • 03Dxx Computability and recursion theory
  • 03D55 Hierarchies

03Dxx Computability and recursion theory

  • 03D03 Thue and Post systems, etc.
  • 03D05 Automata and formal grammars in connection with logical questions
  • 03D10 Turing machines and related notions
  • 03D15 Complexity of computation (including implicit computational complexity)
  • 03D20 Recursive functions and relations, subrecursive hierarchies
  • 03D25 Recursively (computably) enumerable sets and degrees
  • 03D28 Other Turing degree structures
  • 03D30 Other degrees and reducibilities
  • 03D32 Algorithmic randomness and dimension
  • 03D35 Undecidability and degrees of sets of sentences
  • 03D40 Word problems, etc.
  • 03D45 Theory of numerations, effectively presented structures
  • 03D50 Recursive equivalence types of sets and structures, isols
  • 03D55 Hierarchies
  • 03D60 Computability and recursion theory on ordinals, admissible sets, etc.
  • 03D65 Higher-type and set recursion theory
  • 03D70 Inductive definability
  • 03D75 Abstract and axiomatic computability and recursion theory
  • 03D78 Computation over the reals
  • 03D80 Applications of computability and recursion theory
  • 03D99 None of the above, but in this section
  • Items

All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 6

Displaying 101 – 110 of 110

Showing per page

Полнота в арифметической иерархии и неподвижные точки

М.М. Арсланов (1989)

Algebra i Logika

Пресбургеровость предикатов, регулярных в двух системах счисления

А.Л. Семенов (1977)

Sibirskij matematiceskij zurnal

Проблема остановки и теория иерархий.

Л.Н. Победин (1975)

Algebra i Logika

Пульсирующие иерархии.

Н.В. Белякин (1994)

Sibirskij matematiceskij zurnal

Рекурсивные однородные булевы алгебры

С.Ю. Подзоров (2001)

Algebra i Logika

Сложность индексного множества конструктивной модели

В.П. Добрица (1983)

Algebra i Logika

Тонкая иерархия и определимые индексные множества.

В.Л. Селиванов (1991)

Algebra i Logika

Тонкая иерархия формул.

В.Л. Селиванов (1991)

Algebra i Logika

Утончения полиномиальной иерархии.

В.Л. Селиванов (1999)

Algebra i Logika

Эффективные иерархии

Н.В. Белякин (1990)

Algebra i Logika

Currently displaying 101 – 110 of 110

Previous Page 6

EuDML
  • About EuDML initiative
  • Feedback
  •  version 2.1.7