20 citations · 30 across the 10 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018
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…
math.LO2018
Joins and meets in the structure of Ceers
Uri Andrews, Andrea Sorbi
We study computably enumerable equivalence relations (abbreviated as ceers) under computable reducibility, and we investigate the resulting degree structure Ceers, which is a poset…