Decidable_sublanguages_of_set_theory
In mathematical logic, various sublanguages of set theory are decidable.[1][2] These include:
The topic of this article may not meet Wikipedia's general notability guideline. (May 2021) |
In mathematical logic, various sublanguages of set theory are decidable.[1][2] These include:
The topic of this article may not meet Wikipedia's general notability guideline. (May 2021) |
This article uses material from the Wikipedia article Decidable_sublanguages_of_set_theory, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.