Work

A note on the cardinality of definable families of sets in o‐minimal structures

Year: 2024

Type: article

Abstract: We prove that any definable family of subsets of a definable infinite set in an o‐minimal structure has cardinality at most . We derive some consequences in terms of counting definable types and existence of definable topological spaces.

Source: Mathematical logic quarterly

DOI: 10.1002/malq.202300030

Author: Pablo Andújar Guerrero

Institution: University of Leeds

Language: English

Topic: Advanced Topology and Set Theory

Subfield: Geometry and Topology

Field: Mathematics

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,760

Funder: Engineering and Physical Sciences Research Council

Awards: G4216255205, Model Theory, Diophantine Geometry and Combinatorics

OpenAlex ID: W4402720442

FWCI:

Cites: 7

Cited by:

Related to: 10