scientific article; zbMATH DE number 5049507
From MaRDI portal
Publication:5482032
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)
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)- On mutual definability of operations on fields
- A certain reducibility on admissible sets
- On the inner constructivizability of admissible sets
- On processes and structures
- Coding and definability in computable structures
- Agreement reducibility
- Reducibility on families
- Descriptive properties on admissible sets
- Processes and structures on approximation spaces
- Jump inversions of algebraic structures and the \({\Sigma}\)-definability
- S-Subsets of Natural Numbers
- Generalized hyperarithmetical computability over structures
- Generalized effective reducibility
- Jump inversions of algebraic structures and Σ‐definability
- Rice sequences of relations
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)
