The tag has no wiki summary.

learn more… | top users | synonyms

6
votes
2answers
811 views

“Requires axiom of choice” vs. “explicitly constructible”

I think I'm a bit confused about the relationship between some concepts in mathematical logic, namely constructions that require the axiom of choice and "explicit" results. For example, let's take ...