Maximal Towers and Ultrafilter Bases in Computability Theory.

Steffen Lempp Joseph S. Miller André Nies Mariya Ivanova Soskova

Published in: J. Symb. Log. (2023)

Keyphrases

theoretical basis
formal theory
expert systems
information systems
learning environment
theoretical framework