scientific article; zbMATH DE number 1873434

zbMath1008.03028MaRDI QIDQ4795523

V. G. Puzarenko

Publication date: 24 February 2003

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

admissible setFriedberg numberingdecidable numbering

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (5)

Countably categorical theories ⋮ Positive numberings in admissible sets ⋮ Computable positive and Friedberg numberings in hyperarithmetic ⋮ Semidecidable numberings in admissible sets ⋮ Partial decidable presentations in hyperarithmetic

This page was built for publication: