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:

Wu, Guohua

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:

Calude, Cristian S.;
Staiger, Ludwig

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:

Badaev, Serikzhan;
Spreen, Dieter

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:

Leonesi, Stefano;
Toffalori, Carlo

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:

Apter, Arthur W.

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:

Xizhong Zheng;
Rettinger, Robert;
Barmpalias, George

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:

Morillon, Marianne

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:

Jerome Keisler, H.;
Boulos Lotfallah, Wafik

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:

Howard, Paul

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:

Berger, Josef

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:

Cenzer, Douglas;
Riazati, Farzan

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:

Beckmann, Arnold;
Johannsen, Jan

Publication type:

Article