Works matching IS 09425616 AND DT 2003 AND VI 49 AND IP 2

Results: 11

The failure of the axiom of choice implies unrest in the theory of Lindelöf metric spaces.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 2, p. 179, doi. 10.1002/malq.200310017

By:

Keremedis, Kyriakos

Publication type:

Article

The equality S1 = D = R.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 2, p. 115, doi. 10.1002/malq.200310012

By:

Grossberg, Rami;
Kolesnikov, Alexei;
Tomasic, Ivan;
Van Dieren, Monica

Publication type:

Article

Sperner spaces and first-order logic.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 2, p. 111, doi. 10.1002/malq.200310011

By:

Blass, Andreas;
Pambuccian, Victor

Publication type:

Article

Topological aspects of numberings.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 2, p. 129, doi. 10.1002/malq.200310013

By:

Menzel, Wolfram;
Stephan, Frank

Publication type:

Article

Consequences of neocompact quantifier elimination.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 2, p. 150, doi. 10.1002/malq.200310014

By:

Baratella, Stefano;
Ng, Siu-Ah

Publication type:

Article

Making doughnuts of Cohen reals.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 2, p. 173, doi. 10.1002/malq.200310016

By:

Halbeisen, Lorenz

Publication type:

Article

A transfinite hierarchy of reals.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 2, p. 163, doi. 10.1002/malq.200310015

By:

Barmpalias, George

Publication type:

Article

Classification of non-well-founded sets and an application.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 2, p. 187, doi. 10.1002/malq.200310018

By:

Takashi, Nitta;
Tomoko, Okada;
Tzouvaras, Athanassios

Publication type:

Article

Classical linear logics with mix separation principle.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 2, p. 201, doi. 10.1002/malq.200310019

By:

Kamide, Norihiro

Publication type:

Article

P ≠ NP for all infinite Boolean algebras.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 2, p. 210, doi. 10.1002/malq.200310020

By:

Prunescu, Mihai

Publication type:

Article

A note on the first incompleteness theorem.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 2, p. 214, doi. 10.1002/malq.200310021

By:

Ishii, Katsumasa

Publication type:

Article