Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Omitting Types Theorem in hybrid-dynamic first-order logic with rigid
  symbols   In the the present contribution, we prove an Omitting Types Theorem (OTT) for
an arbitrary fragment of hybriddynamic first-order logic with rigid symbols
(i.e. symbols with fixed interpretations across worlds) closed under negation
and retrieve. The logical framework can be regarded as a parameter and it is
instantiated by some well-known hybrid and/or dynamic logics from the
literature. We develop a forcing technique and then we study a forcing property
based on local satisfiability, which lead to a refined proof of the OTT. For
uncountable signatures, the result requires compactness, while for countable
signatures, compactness is not necessary. We apply the OTT to obtain upwards
and downwards L\"owenheim-Skolem theorems for our logic, as well as a
completeness theorem for its constructor-based variant. The main result of this
paper can easily be recast in the institutional model theory framework, giving
it a higher level of generality.

9
The categories of this paper are: nlin
22
The categories of this paper are: chao-dyn
0
The categories of this paper are: hep-ph
25
The categories of this paper are: patt-sol
1
The categories of this paper are: cs
37
The categories of this paper are: supr-con
5
The categories of this paper are: gr-qc
30
The categories of this paper are: q-alg
14
The categories of this paper are: math-ph
32
The categories of this paper are: atom-ph
24
The categories of this paper are: dg-ga
23
The categories of this paper are: solv-int
17
The categories of this paper are: q-fin
29
The categories of this paper are: funct-an
4
The categories of this paper are: cond-mat
16
The categories of this paper are: stat