scientific article; zbMATH DE number 5049507
zbMATH Open1097.03039MaRDI QIDQ5482032FDOQ5482032
Authors: Andrei S. Morozov
Publication date: 24 August 2006
Full work available at URL: https://eudml.org/doc/52706
File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)
Title of this publication is not available (Why is that?)
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
Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Other degrees and reducibilities in computability and recursion theory (03D30) Logic on admissible sets (03C70)
Cited In (15)
- Coding and definability in computable structures
- S-Subsets of Natural Numbers
- Generalized effective reducibility
- Jump inversions of algebraic structures and the \({\Sigma}\)-definability
- Agreement reducibility
- Reducibility on families
- Rice sequences of relations
- Generalized hyperarithmetical computability over structures
- On the inner constructivizability of admissible sets
- Descriptive properties on admissible sets
- A certain reducibility on admissible sets
- Processes and structures on approximation spaces
- On mutual definability of operations on fields
- On processes and structures
- Jump inversions of algebraic structures and Σ‐definability
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)