ON THE PROOF COMPLEXITY OF THE NISAN-WIGDERSON GENERATOR BASED ON A HARD NP ∩ coNP FUNCTION.
- Published in:
- Journal of Mathematical Logic, 2011, v. 11, n. 1, p. 11, doi. 10.1142/S0219061311000979
- By:
- Publication type:
- Article
Works matching IS 02190613 AND DT 2011 AND VI 11 AND IP 1
Results: 5
1
2
A STRONG LAW OF COMPUTATIONALLY WEAK SUBSETS.
- Published in:
- Journal of Mathematical Logic, 2011, v. 11, n. 1, p. 1, doi. 10.1142/S0219061311000980
- By:
- Publication type:
- Article
3
AN EQUICONSISTENCY RESULT ON PARTIAL SQUARES.
- Published in:
- Journal of Mathematical Logic, 2011, v. 11, n. 1, p. 29, doi. 10.1142/S0219061311000992
- By:
- Publication type:
- Article
4
CHAIN MODELS, TREES OF SINGULAR CARDINALITY AND DYNAMIC EF-GAMES.
- Published in:
- Journal of Mathematical Logic, 2011, v. 11, n. 1, p. 61, doi. 10.1142/S0219061311001006
- By:
- Publication type:
- Article
5
ON LÖWENHEIM-SKOLEM-TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC.
- Published in:
- Journal of Mathematical Logic, 2011, v. 11, n. 1, p. 87, doi. 10.1142/S0219061311001018
- By:
- Publication type:
- Article