Boris Čulina
Published 2021-05-25Version 1
In this article, logical concepts are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which the universal and existential quantifiers form a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language.
A Topological Representation of Semantics of First-order Logic and Its Application as a Method in Model Theory
Algebraic classifications for fragments of first-order logic and beyond
Interpolation in extensions of first-order logic
![QR code for arXiv:2105.12157 [math.LO]](http://oss.arxitics.com/images/favicon.svg)