Works matching IS 09425616 AND DT 2009 AND VI 55 AND IP 2
Results: 8
A lexicographic path order with slow growing derivation bounds.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 2, p. 212, doi. 10.1002/malq.200710090
- By:
- Publication type:
- Article
Determinacy of Wadge classes and subsystems of second order arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 2, p. 154, doi. 10.1002/malq.200710081
- By:
- Publication type:
- Article
On a question of Andreas Weiermann.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 2, p. 201, doi. 10.1002/malq.200710089
- By:
- Publication type:
- Article
Weakly associative relation algebras with projections.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 2, p. 138, doi. 10.1002/malq.200710074
- By:
- Publication type:
- Article
Contents: Math. Log. Quart. 2/2009.
- Published in:
- 2009
- Publication type:
- Table of Contents
On the correspondence between arithmetic theories and propositional proof systems – a survey.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 2, p. 116, doi. 10.1002/malq.200710069
- By:
- Publication type:
- Article
Preservation theorems for Kripke models.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 2, p. 177, doi. 10.1002/malq.200710085
- By:
- Publication type:
- Article
A characterization of constructive dimension.
- Published in:
- Mathematical Logic Quarterly, 2009, v. 55, n. 2, p. 185, doi. 10.1002/malq.200710087
- By:
- Publication type:
- Article