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.

Guarded Second-Order Logic, Spanning Trees, and Network Flows

Fregean Flows

Preservation theorems on sparse classes revisited

On two-variable guarded fragment logic with expressive local Presburger constraints

Counting Homomorphisms from Hypergraphs of Bounded Generalised Hypertree Width: A Logical Characterisation

A Generalization of the Łoś-Tarski Preservation Theorem

Optimal Lower Bounds for Distributed and Streaming Spanning Forest Computation

Extremal solutions for Network Flow with Differential Constraints -- A Generalization of Spanning Trees

Decision Procedures for Guarded Logics

Tree-depth, quantifier elimination, and quantifier rank.

First Order Logic of Sparse Graphs with Given Degree Sequences

Flows of linear orders on sparse graphs

Discrepancies of spanning trees in dense graphs

Spanning trees in graphs without large bipartite holes

Structure trees, networks and almost invariant sets

Towards (1+ε)-Approximate Flow Sparsifiers

Existential Second-Order Logic Over Graphs: A Complete Complexity-Theoretic Classification

Random minimum spanning tree and dense graph limits

Guards, Bounds, and Generalized Semantics

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster