In mathematical logic, various sublanguages of set theory are decidable. These include: Sets with Monotone, Additive, and Multiplicative Functions. Sets with restricted quantifiers.
| Property | Value |
|---|
| dbpprop:abstract
|
- In mathematical logic, various sublanguages of set theory are decidable. These include: Sets with Monotone, Additive, and Multiplicative Functions. Sets with restricted quantifiers.
|
| dbpprop:reference
| |
| rdfs:comment
|
- In mathematical logic, various sublanguages of set theory are decidable. These include: Sets with Monotone, Additive, and Multiplicative Functions. Sets with restricted quantifiers.
|
| rdfs:label
|
- Decidable sublanguages of set theory
|
| skos:subject
| |
| foaf:page
| |
![[RDF Data]](/statics/sw-cube.png)
