Definable Subsets of Polynomial-Time Algebraic Structures (Q5042236)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Definable Subsets of Polynomial-Time Algebraic Structures |
scientific article; zbMATH DE number 7603918
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Definable Subsets of Polynomial-Time Algebraic Structures |
scientific article; zbMATH DE number 7603918 |
Statements
Definable Subsets of Polynomial-Time Algebraic Structures (English)
0 references
19 October 2022
0 references
polynomial-time structure
0 references
\( \varDelta_0\) formula
0 references
\( \varSigma \)-definability
0 references
hereditarily finite superstructure
0 references
computable structure theory
0 references
list structure
0 references
Boolean algebra
0 references
