Products of pseudofinite structures

2024/11/13 by Paola D’Aquino, Angus Macintyre, D'Aquino, Paola +1
Computer Science · #03C20 #03C52 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO)

paper · pdf · doi:10.48550/arxiv.2411.08808

openalex publication_date 2024/11/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We prove that any product of a family of pseudofinite structures is pseudofinite. The main tools are the fundamental results on products of first order structures due to Feferman and Vaught.

Related

• Pseudofinite structures and simplicity
• A note on pseudofinite dimension and forking
• Products of Classes of Finite Structures
• Variations on the Feferman-Vaught Theorem, with applications to ∏_p \mathbbF_p
• Strongly minimal pseudofinite structures