Editorial: Math. Log. Quart. 50, No. 6.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. NA, doi. 10.1002/malq.200490002
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2004 AND VI 50 AND IP 6
Results: 13
1
2
Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 527, doi. 10.1002/malq.200410002
- By:
- Publication type:
- Article
3
Substructure lattices and almost minimal end extensions of models of Peano arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 533, doi. 10.1002/malq.200310118
- By:
- Publication type:
- Article
4
Compactness under constructive scrutiny.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 540, doi. 10.1002/malq.200310119
- By:
- Publication type:
- Article
5
On the complexity of finding paths in a two-dimensional domain I: Shortest paths.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 551, doi. 10.1002/malq.200310120
- By:
- Publication type:
- Article
6
Functional interpretation and the existence property.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 573, doi. 10.1002/malq.200410004
- By:
- Publication type:
- Article
7
Herbrandizing search problems in Bounded Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 577, doi. 10.1002/malq.200410005
- By:
- Publication type:
- Article
8
Uniform versions of some axioms of second order arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 587, doi. 10.1002/malq.200310122
- By:
- Publication type:
- Article
9
Ultratopologies.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 603, doi. 10.1002/malq.200310123
- By:
- Publication type:
- Article
10
On Schnorr and computable randomness, martingales, and machines.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 613, doi. 10.1002/malq.200310121
- By:
- Publication type:
- Article
11
Corrigendum to “Weak Arithmetics and Kripke Models”.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 637, doi. 10.1002/malq.200410007
- By:
- Publication type:
- Article
12
Unsupported Boolean algebras and forcing.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 594, doi. 10.1002/malq.200410003
- By:
- Publication type:
- Article
13
There is no low maximal d. c. e. degree – Corrigendum.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 6, p. 628, doi. 10.1002/malq.200410006
- By:
- Publication type:
- Article