Products of pseudofinite structures
Fundamenta Mathematicae
MSC: Primary 03C20; Secondary 03C52
DOI: 10.4064/fm250715-28-12
Published online: 9 March 2026
Abstract
We prove that the product of any family of pseudofinite structures is pseudofinite using the fundamental work on products of first-order structures due to Feferman and Vaught (1959), exploiting the underlying combinatorics.
