Works matching IS 02190613 AND DT 2009 AND VI 9 AND IP 1
Results: 6
HOW CAN WE RECOGNIZE POTENTIALLY ${\bf\Pi}^{0}_{\xi}$ SUBSETS OF THE PLANE?
- Published in:
- Journal of Mathematical Logic, 2009, v. 9, n. 1, p. 39, doi. 10.1142/S0219061309000793
- By:
- Publication type:
- Article
ARONSZAJN TREES AND FAILURE OF THE SINGULAR CARDINAL HYPOTHESIS.
- Published in:
- Journal of Mathematical Logic, 2009, v. 9, n. 1, p. 139, doi. 10.1142/S021906130900080X
- By:
- Publication type:
- Article
A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING.
- Published in:
- Journal of Mathematical Logic, 2009, v. 9, n. 1, p. 1, doi. 10.1142/S0219061309000811
- By:
- Publication type:
- Article
THORN-FORKING AS LOCAL FORKING.
- Published in:
- Journal of Mathematical Logic, 2009, v. 9, n. 1, p. 21, doi. 10.1142/S0219061309000823
- By:
- Publication type:
- Article
WHEN COTORSION MODULES ARE PURE INJECTIVE.
- Published in:
- Journal of Mathematical Logic, 2009, v. 9, n. 1, p. 63, doi. 10.1142/S0219061309000835
- By:
- Publication type:
- Article
POLYNOMIAL LOCAL SEARCH IN THE POLYNOMIAL HIERARCHY AND WITNESSING IN FRAGMENTS OF BOUNDED ARITHMETIC.
- Published in:
- Journal of Mathematical Logic, 2009, v. 9, n. 1, p. 103, doi. 10.1142/S0219061309000847
- By:
- Publication type:
- Article