Strong extension axioms and Shelah's zero-one law for choiceless polynomial time (Q4457727)
From MaRDI portal
scientific article; zbMATH DE number 2061947
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strong extension axioms and Shelah's zero-one law for choiceless polynomial time |
scientific article; zbMATH DE number 2061947 |
Statements
Strong extension axioms and Shelah's zero-one law for choiceless polynomial time (English)
0 references
25 March 2004
0 references
extension axioms
0 references
zero-one laws
0 references
choiceless polynomial time machine
0 references
choiceless polynomial space
0 references
constant time computable
0 references
parallel computation
0 references
random structure
0 references
random signa
0 references
0 references
