Rumely domains with atomic constructible Boolean algebra. An effective viewpoint (Q2469434)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Rumely domains with atomic constructible Boolean algebra. An effective viewpoint |
scientific article |
Statements
Rumely domains with atomic constructible Boolean algebra. An effective viewpoint (English)
0 references
5 February 2008
0 references
Rumely domains
0 references
model completeness
0 references
decidability
0 references