Abstract:In this dissertation, we present for each natural number $k$, semantic characterizations of the $\exists^k \forall^*$ and $\forall^k \exists^*$ prefix classes of first order logic sentences, over all structures finite and infinite. This result, that we call the *generalized Łoś-Tarski theorem*, abbreviated $\mathsf{GLT}(k)$, yields the classical Łoś-Tarski preservation theorem when $k$ equals 0. It also provides new characterizations of the $\Sigma^0_2$ and $\Pi^0_2$ prefix classes, that are finer than all characterizations of these classes in the literature. Further, our semantic notions are finitary in nature, in contrast to those contained in the literature characterizations. In the context of finite structures, we formulate an abstract combinatorial property of structures, that when satisfied by a class, ensures that $\mathsf{GLT}(k)$ holds over the class. This property, that we call the *Equivalent Bounded Substructure Property*, abbreviated $\mathsf{EBSP}$, intuitively states that a large structure contains a small "logically similar" substructure. It turns out that this simply stated property is enjoyed by a variety of classes of interest in computer science: examples include words, trees (unordered, ordered or ranked), nested words, graph classes of bounded tree-depth/shrub-depth, and $m$-partite cographs. Further, $\mathsf{EBSP}$ remains preserved under various well-studied operations, such as complementation, transpose, the line-graph operation, disjoint union, cartesian and tensor products, etc. This enables constructing a wide spectrum of classes that satisfy $\mathsf{EBSP}$, and hence $\mathsf{GLT}(k)$. Remarkably, $\mathsf{EBSP}$ can be regarded as a finitary analogue of the classical downward Löwenheim-Skolem property. In summary, this dissertation provides new notions and results in both contexts, that of all structures and that of finite structures.

Positive indiscernibles

Model-checking positive equality free logic on a fixed structure (direttissima)

Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs

Tree-depth, quantifier elimination, and quantifier rank.

Finite models for positive combinatorial and exponential algebra

Positive provability logic for uniform reflection principles

Arithmetic subtrees in large subsets of products of trees

Bi-intermediate logics of trees and co-trees

Retractors in local positive logic

A Generalization of the Łoś-Tarski Preservation Theorem

Strong tree properties, Kurepa trees, and guessing models

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Two trees enumerating the positive rationals

Enumerating proofs of positive formulae

Polynomial Lawvere Logic

Equivalence of Intuitionistic Inductive Definitions and Intuitionistic Cyclic Proofs under Arithmetic

Goldblat-Thomason Theorems for Fundamental (Modal) Logic

Elementary equivalence in positive logic via prime products

Approximate equivalence relations

Generalised Indiscernibles, Dividing Lines, and Products of Structures

Exponentially Huge Natural Deduction proofs are Redundant: Preliminary results on $M_\supset$