Works matching IS 09335846 AND DT 2005 AND VI 44 AND IP 2

Results: 8

Modularity of proof-nets.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 2, p. 167, doi. 10.1007/s00153-004-0242-2

By:

Maieli, Roberto;
Puite, Quintijn

Publication type:

Article

Ultrafilters, monotone functions and pseudocompactness.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 2, p. 131, doi. 10.1007/s00153-004-0246-y

By:

Hrušák, M.;
Sanchis, M.;
Tamariz-Mascarúa, Á.

Publication type:

Article

Labelling classes by sets.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 2, p. 219, doi. 10.1007/s00153-004-0261-z

By:

Marshall, M. Victoria;
Schwarze, M. Gloria

Publication type:

Article

Strong reducibility of partial numberings.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 2, p. 209, doi. 10.1007/s00153-004-0262-y

By:

Spreen, Dieter

Publication type:

Article

Isolation in the CEA hierarchy.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 2, p. 227, doi. 10.1007/s00153-004-0250-2

By:

LaForte, Geoffrey

Publication type:

Article

Weak theories of linear algebra.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 2, p. 195, doi. 10.1007/s00153-004-0249-8

By:

Thapen, Neil;
Soltys, Michael

Publication type:

Article

A new condensation principle.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 2, p. 159, doi. 10.1007/s00153-004-0227-1

By:

Räsch, Thoralf;
Schindler, Ralf

Publication type:

Article

A logical and algebraic treatment of conditional probability.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 2, p. 245, doi. 10.1007/s00153-004-0253-z

By:

Flaminio, Tommaso;
Montagna, Franco

Publication type:

Article