Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Doubly Strongly First Order Dependencies   Team Semantics is a generalization of Tarskian Semantics that can be used to
add to First Order Logic atoms and connectives expressing dependencies between
the possible values of variables. Some of these extensions are more expressive
than First Order Logic, while others are reducible to it. In this work, I fully
characterize the (relativizable) atoms and families of atoms that do not
increase the expressive power of First Order Logic with Team Semantics when
they and their negations are added to it, separately or jointly (or,
equivalently, when they are added to First Order Logic augmented with a
contradictory negation connective applicable only to literals and dependency
atoms).

29
The categories of this paper are: funct-an
12
The categories of this paper are: nucl-th
9
The categories of this paper are: nlin
11
The categories of this paper are: hep-lat
20
The categories of this paper are: acc-phys
32
The categories of this paper are: atom-ph
1
The categories of this paper are: cs
3
The categories of this paper are: physics
31
The categories of this paper are: ao-sci
6
The categories of this paper are: astro-ph
34
The categories of this paper are: chem-ph
19
The categories of this paper are: eess
25
The categories of this paper are: patt-sol
7
The categories of this paper are: hep-th
28
The categories of this paper are: alg-geom
30
The categories of this paper are: q-alg