Source: wikibot/solovay-model
= Solovay model
{wiki=Solovay_model}
The Solovay model is a concept in set theory and mathematical logic that relates to the study of the foundations of mathematics, particularly in the context of the Axiom of Choice and related principles. It is named after the mathematician Robert Solovay, who developed it in the 1960s. The Solovay model provides an example of a model of set theory in which certain properties related to cardinalities and the Axiom of Choice hold or fail.