Decidable sublanguages of set theory
In mathematical logic, various sublanguages of set theory are decidable. These include:
* Sets with Monotone, Additive, and Multiplicative Functions.
* Sets with restricted quantifiers.
primaryTopic
Decidable sublanguages of set theory
In mathematical logic, various sublanguages of set theory are decidable. These include:
* Sets with Monotone, Additive, and Multiplicative Functions.
* Sets with restricted quantifiers.
has abstract
In mathematical logic, various ...... s with restricted quantifiers.
@en
Wikipage page ID
18,692,872
Wikipage revision ID
621,758,026
comment
In mathematical logic, various ...... s with restricted quantifiers.
@en
label
Decidable sublanguages of set theory
@en