Jouko A Vaananen

In earlier work by the first and second authors, the equivalence of a finite square principle $\square^{\mathrm{fin}}_{\lambda,D}$ with various model-theoretic properties of structures of size $\lambda $ and regular ultrafilters was established. In this paper we investigate the principle $\square^{\mathrm{fin}}_{\lambda,D}$—and thereby the above model-theoretic properties—at a regular cardinal. By Chang’s two-cardinal theorem, $\square^{\mathrm{fin}}_{\lambda,D}$ holds at regular cardinals for all regular filters $D$ if we assume the generalized continuum hypothesis. In this paper we prove in ZFC that, for certain regular filters that we call $\mathit{doubly}^{+}$ regular, $\square^{\mathrm{fin}}_{\lambda,D}$ holds at regular cardinals, with no assumption about GCH. Thus we get new positive answers in ZFC to Open Problems 18 and 19 in Chang and Keisler’s book Model Theory.

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.

Oikkonen, J. and J. Väänänen, Game-theoretic inductive definability, Annals of Pure and Applied Logic 65 265-306. We use game-theoretic ideas to define a generalization of the notion of inductive definability. This approach allows induction along non-well-founded trees. Our definition depends on an underlying partial ordering of the objects. In this ordering every countable ascending sequence is assumed to have a unique supremum which enables us to go over limits. We establish basic properties of this induction and examine examples where it emerges naturally. In the main results we prove an abstract Kleene Theorem and restricted versions of the Stage-Comparison Theorem and the Reduction Theorem

We define the concept of a logic frame , which extends the concept of an abstract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the set of axioms are recursively coded. A recursive logic frame is called complete , if every finite consistent theory has a model. We show that for logic frames built from the cardinality quantifiers “there exists at least λ ” completeness always implies .0-compactness. On the other hand we show that a recursively compact logic frame need not be ℵ0-compact

The concept of a generalized quantifier of a given similarity type was defined in [12]. Our main result says that on finite structures different similarity types give rise to different classes of generalized quantifiers. More exactly, for every similarity typetthere is a generalized quantifier of typetwhich is not definable in the extension of first order logic by all generalized quantifiers of type smaller thant. This was proved for unary similarity types by Per Lindström [17] with a counting argument. We extend his method to arbitrary similarity types.

Lindström’s Theorem characterizes first order logic as the maximal logic satisfying the Compactness Theorem and the Downward Löwenheim-Skolem Theorem. If we do not assume that logics are closed under negation, there is an obvious extension of first order logic with the two model theoretic properties mentioned, namely existential second order logic. We show that existential second order logic has a whole family of proper extensions satisfying the Compactness Theorem and the Downward Löwenheim-Skolem Theorem. Furthermore, we show that in the context of negation-less logics, _positive logics_, as we call them, there is no strongest extension of first order logic with the Compactness Theorem and the Downward Löwenheim-Skolem Theorem.