Provably total functions of Basic Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 3, p. 316, doi. 10.1002/malq.200310032
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2003 AND VI 49 AND IP 3
Results: 12
1
2
A theorem on ROD-hypersmooth equivalence relations in the Solovay model.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 3, p. 299, doi. 10.1002/malq.200310030
- By:
- Publication type:
- Article
3
Sequential topological conditions in ℝ in the absence of the axiom of choice.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 3, p. 293, doi. 10.1002/malq.200310029
- By:
- Publication type:
- Article
4
Positive set-operators of low complexity.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 3, p. 284, doi. 10.1002/malq.200310028
- By:
- Publication type:
- Article
5
A nonstandard density theorem for weak topologies on Banach and Bochner spaces.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 3, p. 277, doi. 10.1002/malq.200310027
- By:
- Publication type:
- Article
6
The axiom of choice holds iff maximal closed filters exist.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 3, p. 323, doi. 10.1002/malq.200310033
- By:
- Publication type:
- Article
7
Some Boolean algebras with finitely many distinguished ideals II.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 3, p. 260, doi. 10.1002/malq.200310026
- By:
- Publication type:
- Article
8
The Banach-Steinhaus theorem for the space 𝒟(ℝ) in constructive analysis.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 3, p. 305, doi. 10.1002/malq.200310031
- By:
- Publication type:
- Article
9
Proximal and uniform convergence on apartness spaces.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 3, p. 255
- By:
- Publication type:
- Article
10
Independence results for weak systems of intuitionistic arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 3, p. 250, doi. 10.1002/malq.200310024
- By:
- Publication type:
- Article
11
Preservativity logic: An analogue of interpretability logic for constructive theories.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 3, p. 230, doi. 10.1002/malq.200310023
- By:
- Publication type:
- Article
12
Effective embeddings into strong degree structures.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 3, p. 219, doi. 10.1002/malq.200310022
- By:
- Publication type:
- Article