Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Trial and error mathematics: Dialectical systems and completions of
  theories   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 investigated the expressive and computational power of
dialectical systems, and we compared them to a new class of systems, that of
quasidialectical systems, that enrich Magari's systems with a natural mechanism
of revision. In the present paper we consider a third class of systems, that of
$p$-dialectical systems, that naturally combine features coming from the two
other cases. We prove several results about $p$-dialectical systems and the
sets that they represent. Then we focus on the completions of first-order
theories. In doing so, we consider systems with connectives, i.e. systems that
encode the rules of classical logic. We show that any consistent system with
connectives represents the completion of a given theory. We prove that
dialectical and $q$-dialectical systems coincide with respect to the
completions that they can represent. Yet, $p$-dialectical systems are more
powerful: we exhibit a $p$-dialectical system representing a completion of
Peano Arithmetic which is neither dialectical nor $q$-dialectical.

26
The categories of this paper are: bayes-an
8
The categories of this paper are: hep-ex
10
The categories of this paper are: q-bio
27
The categories of this paper are: comp-gas
28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
33
The categories of this paper are: plasm-ph
12
The categories of this paper are: nucl-th
20
The categories of this paper are: acc-phys
29
The categories of this paper are: funct-an
25
The categories of this paper are: patt-sol
4
The categories of this paper are: cond-mat
9
The categories of this paper are: nlin
23
The categories of this paper are: solv-int
31
The categories of this paper are: ao-sci
1
The categories of this paper are: cs