TY  - JOUR
KW  - Monadic first-order logic
KW  -  Generalised quantifier
KW  -  Infinity quantifier
KW  -  Characterisation theorem
KW  -  Preservation theorem
KW  -  Continuity
N2  - This paper establishes model-theoretic properties of ME?, a variation of monadic first-order logic that features the generalised quantifier ? ? (?there are infinitely many?). We will also prove analogous versions of these results in the simpler setting of monadic first-order logic with and without equality (ME and M, respectively). For each logic L? { M, ME, ME?} we will show the following. We provide syntactically defined fragments of L characterising four different semantic properties of L-sentences: (1) being monotone and (2) (Scott) continuous in a given set of monadic predicates; (3) having truth preserved under taking submodels or (4) being truth invariant under taking quotients. In each case, we produce an effectively defined map that translates an arbitrary sentence ? to a sentence ?p belonging to the corresponding syntactic fragment, with the property that ? is equivalent to ?p precisely when it has the associated semantic property. As a corollary of our developments, we obtain that the four semantic properties above are decidable for L-sentences.
ID  - discovery10160498
PB  - SPRINGER HEIDELBERG
TI  - Model theory of monadic predicate logic with the infinity quantifier
AV  - public
Y1  - 2021/10/27/
EP  - 502
JF  - Archive for Mathematical Logic
A1  - Carreiro, Facundo
A1  - Facchini, Alessandro
A1  - Venema, Yde
A1  - Zanasi, Fabio
UR  - http://doi.org/10.1007/s00153-021-00797-0
SN  - 0933-5846
N1  - © The Author(s) 2021. This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article?s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article?s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
SP  - 465
VL  - 61
ER  -