Found: 5
Select item for more details and to access through your institution.
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
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
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
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
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