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