Uniformly bounded arrays and mutually algebraic structures
| Autor: | Michael C. Laskowski, Caroline Terry |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
Pure mathematics
Logic Algebraic structure 010102 general mathematics Structure (category theory) Atomic formula mutually algebraic 06 humanities and the arts Mathematics - Logic 0603 philosophy ethics and religion 01 natural sciences array isolating 03C13 If and only if 060302 philosophy FOS: Mathematics Uniform boundedness Verifiable secret sharing Physics::Atomic Physics 0101 mathematics Algebraic number Logic (math.LO) unbounded arrays 03C52 Mathematics |
| Zdroj: | Notre Dame J. Formal Logic 61, no. 2 (2020), 265-282 |
| Popis: | We define an easily verifiable notion of an atomic formula having uniformly bounded arrays in a structure $M$. We prove that if $T$ is a complete $L$-theory, then $T$ is mutually algebraic if and only if there is some model $M$ of $T$ for which every atomic formula has uniformly bounded arrays. Moreover, an incomplete theory $T$ is mutually algebraic if and only if every atomic formula has uniformly bounded arrays in every model $M$ of $T$. published version |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|