Hardness assumptions in the foundations of theoretical computer science.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 6, p. 667, doi. 10.1007/s00153-005-0279-x
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2005 AND VI 44 AND IP 6
Results: 9
1
2
On arithmetic in the Cantor- Łukasiewicz fuzzy set theory.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 6, p. 763, doi. 10.1007/s00153-005-0284-0
- By:
- Publication type:
- Article
3
Propositional logic of continuous transformations in Cantor space.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 6, p. 783, doi. 10.1007/s00153-005-0285-z
- By:
- Publication type:
- Article
4
The diamond principle for the uniformity of the meager ideal implies the existence of a destructible gap.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 6, p. 677, doi. 10.1007/s00153-005-0280-4
- By:
- Publication type:
- Article
5
Separations of first and second order theories in bounded arithmetic.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 6, p. 685, doi. 10.1007/s00153-005-0281-3
- By:
- Publication type:
- Article
6
Bounded truth table does not reduce the one-query tautologies to a random oracle.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 6, p. 751, doi. 10.1007/s00153-005-0283-1
- By:
- Publication type:
- Article
7
Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 6, p. 689, doi. 10.1007/s00153-005-0308-9
- By:
- Publication type:
- Article
8
Preface.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 6, p. 665, doi. 10.1007/s00153-005-0310-2
- Publication type:
- Article
9
Quantified propositional calculus and a second-order theory for NC<sup>1</sup>.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 6, p. 711, doi. 10.1007/s00153-005-0282-2
- By:
- Publication type:
- Article