scientific article; zbMATH DE number 4130139
From MaRDI portal
Publication:3032030
Recommendations
- On effectively computable realizations of choice functions
- The Computational Complexity of Choice Sets
- Probabilistic computability and choice
- Computable choice functions for computable linear orderings
- Choice logics and their computational properties
- Computability beyond Church-Turing via choice sequences
- Complexity of representation-of-choice functions as compositions. Asymptotic estimates of complexity characteristics
- On the computational content of the axiom of choice
- Decision problems, complexity, traces, and representations
Cited in
(4)
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 Q3032030)