Recursively enumerable classes and their application to recursive sequences of formal theories

DOI10.1007/BF01976264MaRDI QIDQ5652663zbMATH OpenOpenAlexFDO

Authors Marian Boykan Pour-El, Hilary W. Putnam

Publication date 1965

Published in Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites work

• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Some Theorems on Classes of Recursively Enumerable Sets
• Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
• Two theories with axioms built by means of pleonasms
• Undecidable theories

Cited in

(8)

• Effectively closed sets and enumerations
• The synthesis of language learners.
• Classifying positive equivalence relations
• On arithmetical numberings in reverse mathematics
• A Theorem on Recursively Enumerable Classes and Splinters
• On recursive enumerability with finite repetitions
• The Family of all Recursively Enumerable Classes of Finite Sets
• On the relation provable equivalence and on partitions in effectively inseparable sets

This page was built for publication: Recursively enumerable classes and their application to recursive sequences of formal theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5652663)