scientific article; zbMATH DE number 5049507

MaRDI QIDQ5482032zbMATH OpenFDO

Authors Andrei S. Morozov

Publication date 24 August 2006

Full work available at URL https://eudml.org/doc/52706, http://www.emis.de/journals/SMZ/2004/03/634.htm

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

admissible setcomputabilitydefinabilityreducibility

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Logic on admissible sets (03C70) Other degrees and reducibilities in computability and recursion theory (03D30) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Recommendations

• A certain reducibility on admissible sets
• scientific article; zbMATH DE number 1420850
• scientific article; zbMATH DE number 4057500
• scientific article; zbMATH DE number 3995659
• scientific article; zbMATH DE number 732048
• scientific article; zbMATH DE number 5165178
• scientific article; zbMATH DE number 4116518
• On the inner constructivizability of admissible sets
• scientific article; zbMATH DE number 4079407
• On existence of complete sets for bounded reducibilities

Cited in

(15)

• Jump inversions of algebraic structures and the \({\Sigma}\)-definability
• Coding and definability in computable structures
• On mutual definability of operations on fields
• Generalized hyperarithmetical computability over structures
• Processes and structures on approximation spaces
• On the inner constructivizability of admissible sets
• Rice sequences of relations
• Generalized effective reducibility
• Reducibility on families
• Jump inversions of algebraic structures and Σ‐definability
• S-Subsets of Natural Numbers
• On processes and structures
• A certain reducibility on admissible sets
• Agreement reducibility
• Descriptive properties on admissible sets

This page was built for publication:

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