Works matching IS 09425616 AND DT 2003 AND VI 49 AND IP 2
Results: 11
Sperner spaces and first-order logic.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 2, p. 111, doi. 10.1002/malq.200310011
- By:
- 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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article
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:
- 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:
- 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:
- 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:
- 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:
- Publication type:
- Article