20 citations · 54 across the 26 of their papers we have counts for
3 papers · 1 filter
Trial and error mathematics: Dialectical systems and completions of theories
Jacopo Amidei, Uri Andrews, Duccio Pianigiani +2
This paper is part of a project that is based on the notion of dialectical system, introduced by Magari as a way of capturing trial and error mathematics. In previous work, we inve…
Bi-embeddability spectra and bases of spectra
Ekaterina Fokina, Dino Rossegger, Luca San Mauro
We study degree spectra of structures with respect to the bi-embeddability relation. The bi-embeddability spectrum of a structure is the family of Turing degrees of its bi-embeddab…
Measuring the complexity of reductions between equivalence relations
Ekaterina Fokina, Dino Rossegger, Luca San Mauro
Computable reducibility is a well-established notion that allows to compare the complexity of various equivalence relations over the natural numbers. We generalize computable reduc…