Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Full satisfaction classes, definability, and automorphisms   We show that for every countable recursively saturated model $M$ of Peano
Arithmetic and every subset $A \subseteq M$, there exists a full satisfaction
class $S_A \subset M^2$ such that $A$ is definable in $(M,S_A)$ without
parametres. It follows that in every such model, there exists a full
satisfaction class which makes every element definable and thus the expanded
model is minimal and rigid. On the other hand, we show that for every full
satisfaction class $S$ there are two elements which have the same arithmetical
type, but exactly one of them is in $S$. In particular, the automorphism group
of a model expanded with a satisfaction class is never equal to the
automorphism group of the original model. The analogue of many of the results
proved here for full satisfaction classes were obtained by Roman Kossak for
partial inductive satisfaction classes. However, most of the proofs relied
heavily on the induction scheme in a crucial way, so recapturing the results in
the setting of full satisfaction classes requires quite different arguments.

3
The categories of this paper are: physics
0
The categories of this paper are: hep-ph
5
The categories of this paper are: gr-qc
34
The categories of this paper are: chem-ph
36
The categories of this paper are: cmp-lg
17
The categories of this paper are: q-fin
21
The categories of this paper are: adap-org
28
The categories of this paper are: alg-geom
26
The categories of this paper are: bayes-an
1
The categories of this paper are: cs
30
The categories of this paper are: q-alg
6
The categories of this paper are: astro-ph
13
The categories of this paper are: quant-ph
25
The categories of this paper are: patt-sol
22
The categories of this paper are: chao-dyn
9
The categories of this paper are: nlin