Provably recursive functions of constructive and relatively constructive theories.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 3, p. 291, doi. 10.1007/s00153-009-0172-0
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2010 AND VI 49 AND IP 3
Results: 8
1
2
Definability of second order generalized quantifiers.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 3, p. 379, doi. 10.1007/s00153-010-0177-8
- By:
- Publication type:
- Article
3
Ramsey’s theorem for trees: the polarized tree theorem and notions of stability.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 3, p. 399, doi. 10.1007/s00153-010-0179-6
- By:
- Publication type:
- Article
4
On the axiom of union.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 3, p. 283, doi. 10.1007/s00153-009-0163-1
- By:
- Publication type:
- Article
5
Scattered and hereditarily irresolvable spaces in modal logic.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 3, p. 343, doi. 10.1007/s00153-010-0175-x
- By:
- Publication type:
- Article
6
On almost precipitous ideals.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 3, p. 301, doi. 10.1007/s00153-009-0173-z
- By:
- Publication type:
- Article
7
Quotients of Boolean algebras and regular subalgebras.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 3, p. 329, doi. 10.1007/s00153-010-0174-y
- By:
- Publication type:
- Article
8
Asymmetric RK-minimal types.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 3, p. 367, doi. 10.1007/s00153-010-0176-9
- By:
- Publication type:
- Article