Zur Theorie der konstruktiven Wohlordnungen

DOI10.1007/BF01361115zbMath0056.04701OpenAlexW2005080353MaRDI QIDQ2651884

Werner Markwald

Publication date: 1954

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/160367

zbMATH Keywords

Set theory

Related Items

A complete classification of the Δ₂¹-functions ⋮ Kleene's Amazing Second Recursion Theorem ⋮ Borel ideals vs. Borel sets of countable relations and trees ⋮ Number theoretic concepts and recursive well-orderings ⋮ Recursive well-orderings ⋮ Classes of Polish spaces under effective Borel isomorphism ⋮ A Hierarchy Based on a Type Two Object ⋮ Recursive Functions Defined by Ordinal Recursions ⋮ Hyperarithmetical Sets ⋮ Efficient linear orders ⋮ Hyper-polynomial hierarchies and the polynomial jump ⋮ On a consistency theorem connected with the generalized continuum problem ⋮ Degrees of Computability ⋮ Kleene’s Amazing Second Recursion Theorem ⋮ Recursive nets ⋮ Infinite time extensions of Kleene's \({\mathcal O}\) ⋮ Recursive and Recursively Enumerable Orders ⋮ On generalized quantifiers in arithmetic ⋮ Über die Bestimmbarkeit des Verhaltens von Algorithmen

Cites Work

• Unnamed Item
• Unnamed Item
• The constructive second number class
• On notation for ordinal numbers
• On definable sets of positive integers
• On the Forms of the Predicates in the Theory of Constructive Ordinals
• Recursive Predicates and Quantifiers