Works matching IS 09425616 AND DT 2005 AND VI 51 AND IP 2
Results: 12
Regular reals.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 2, p. 111, doi. 10.1002/malq.200310129
- By:
- Publication type:
- Article
Generalisations of disjunctive sequences.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 2, p. 120, doi. 10.1002/malq.200310130
- By:
- Publication type:
- Article
A note on partial numberings.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 2, p. 129, doi. 10.1002/malq.200310131
- By:
- Publication type:
- Article
A local normal form theorem for infinitary logic with unary quantifiers.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 2, p. 137, doi. 10.1002/malq.200410013
- By:
- Publication type:
- Article
Filling certain cuts in discrete weakly o-minimal structures.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 2, p. 145, doi. 10.1002/malq.200410014
- By:
- Publication type:
- Article
Removing Laver functions from supercompactness arguments.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 2, p. 154, doi. 10.1002/malq.200410015
- By:
- Publication type:
- Article
h-monotonically computable real numbers.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 2, p. 157, doi. 10.1002/malq.200410016
- By:
- Publication type:
- Article
James sequences and Dependent Choices.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 2, p. 171, doi. 10.1002/malq.200410017
- By:
- Publication type:
- Article
If vector spaces are projective modules then multiple choice holds.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 2, p. 187, doi. 10.1002/malq.200410018
- By:
- Publication type:
- Article
An unexpected separation result in Linearly Bounded Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 2, p. 191, doi. 10.1002/malq.200410019
- By:
- Publication type:
- Article
Exact calculation of inverse functions.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 2, p. 201, doi. 10.1002/malq.200410020
- By:
- Publication type:
- Article
Minimal extensions of Π<sup>0</sup><sub>1</sub> classes.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 2, p. 206, doi. 10.1002/malq.200410021
- By:
- Publication type:
- Article