We show that if a first-order structure${\cal M}$, with universe ℤ, is an expansion of (ℤ,+,0) and a reduct of (ℤ,+,<,0), then${\cal M}$must be interdefinable with (ℤ,+,0) or (ℤ,+,<,0).

We ask, when is a property of a model a logical property? According to the so-called Tarski–Sher criterion this is the case when the property is preserved by isomorphisms. We relate this to model-theoretic characteristics of abstract logics in which the model class is definable. This results in a graded concept of logicality in the terminology of Sagi [46]. We investigate which characteristics of logics, such as variants of the Löwenheim–Skolem theorem, Completeness theorem, and absoluteness, are relevant from the logicality (...) point of view, continuing earlier work by Bonnay, Feferman, and Sagi. We suggest that a logic is the more logical the closer it is to first order logic. We also offer a refinement of the result of McGee that logical properties of models can be expressed in $L_{\infty \infty }$ if the expression is allowed to depend on the cardinality of the model, based on replacing $L_{\infty \infty }$ by a “tamer” logic. (shrink)

In this paper, using a propositional modal language extended with the window modality, we capture the first-order properties of various mereological theories. In this setting,$\Box \varphi $readsall the parts(of the current object)are$\varphi $, interpreted on the models with awhole-partbinary relation under various constraints. We show that all the usual mereological theories can be captured by modal formulas in our language via frame correspondence. We also correct a mistake in the existing completeness proof for a basic system of mereology by providing (...) a new construction of the canonical model. (shrink)

We prove that the existence of atomic models for countable atomic theories does not hold for Ln the first order logic restricted to n variables for finite n > 2. Our proof is algebraic, via polyadic algebras. We note that Lnhas been studied in recent times as a multi-modal logic with applications in computer science. 2000 MATHEMATICS SUBJECT CLASSIFICATION. 03C07, 03G15.

I investigate whether Wittgenstein’s “weakly exclusive” Tractarian semantics (as reconstructed by Rogers and Wehmeier) is compositional. In both Tarskian and Wittgensteinian semantics, one has the choice of either working exclusively with total variable assignments or allowing partial assignments; the choice has no bearing on the compositionality of Tarskian semantics, but turns out to make a difference in the Wittgensteinian case. Some philosophical ramifications of this observation are discussed.

A theory is stable up to Δ if any Δ-type over a model has a few extensions up to complete types. We prove that a theory has no the independence property iff it is stable up to some Δ, where each equation image has no the independence property.

We develop a notion of cell decomposition suitable for studying weak p-adic structures definable). As an example, we consider a structure with restricted addition.

We introduce prime products as a generalization of ultraproducts for positive logic. Prime products are shown to satisfy a version of Łoś’s Theorem restricted to positive formulas, as well as the following variant of the Keisler Isomorphism Theorem: under the generalized continuum hypothesis, two models have the same positive theory if and only if they have isomorphic prime powers of ultrapowers.