Seeing the Forest Does not Account for the Trees

This talk was given at:

1. GSCL 25, Notre Dame, on April 26, 2025.

2. Graduate Logic Seminar, UW-Madison, on February 24, 2025.

Abstract

Say a first-order theory (or a type) has bounded axiomatization if it has an axiomatization by $\forall_n$-formulas for some finite n. In this talk, we will discuss basic properties of theories and types with (or without) bounded axiomatizations, and in particular whether boundedness of theories implies that of types. (The meaning of the title will be explained in due time.)