Lagmental Vicfred

Löwenheim--Skolem Produces Smaller Elementary Models by Vicfred

tags: mathematics, mathematical logic, model theory, compactness

A structure in a countable language has countable elementary substructures containing any chosen countable set. The formulas are more useful when each symbol has a job rather than merely decorating the theorem.

Notation

A first-order language \(\mathcal L\) supplies symbols, formulas, and structures. Semantic consequence \(T\models\varphi\) is truth in every model, while provability \(T\vdash\varphi\) is a finite formal derivation.

$$ \mathcal L\ \text{countable},\qquad A\subseteq M,\quad|A|\le\aleph_0 $$

The typography mirrors the proof: first declare \(\mathsf D\), then state \(\mathsf C\). The symbol \(\Longrightarrow\) below is a logical dependency, not extra mathematical structure.

$$ \exists N\preccurlyeq M,\qquad A\subseteq N,\quad|N|\le\aleph_0 $$

Stress the formula

The following line is the smallest calculation that still exercises the mechanism. It keeps nested delimiters and the order of operations explicit.

$$ A_0=A,\qquad A_{n+1}=A_n\cup\{f_\varphi(\bar a):\bar a\in A_n,\ \varphi\},\qquad N=\bigcup_{n<\omega}A_n $$

Interpretation

The two-row display is also a debugging tool: if the conclusion changes when only notation changes, some hidden choice has entered the argument.

$$ \begin{aligned} \mathsf{D}\;&:\quad \mathcal L\ \text{countable},\qquad A\subseteq M,\quad|A|\le\aleph_0,\\[5pt] \mathsf{C}\;&:\quad \exists N\preccurlyeq M,\qquad A\subseteq N,\quad|N|\le\aleph_0. \end{aligned} $$

Limit of the argument

First-order compactness does not apply to arbitrary second-order properties. Finiteness and categorical characterization of the natural numbers lie beyond its direct reach.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] \exists N\preccurlyeq M,\qquad A\subseteq N,\quad|N|\le\aleph_0 \end{gathered}} $$

The important habit is to remember what was fixed before the calculation began and what was proved only afterward. The final display preserves that order.

This article was posted on Tue 20 February 2018. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.