Resolution of the uniform lower bound problem in constructive analysis.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 1, p. 65, doi. 10.1002/malq.200710034
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2008 AND VI 54 AND IP 1
Results: 13
1
2
Lazy bases: a minimalist constructive theory of Noetherian rings.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 1, p. 70, doi. 10.1002/malq.200710042
- By:
- Publication type:
- Article
3
Separation properties in neighbourhood and quasi-apartness spaces.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 1, p. 58, doi. 10.1002/malq.200710025
- By:
- Publication type:
- Article
4
The Relation Reflection Scheme.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 1, p. 5, doi. 10.1002/malq.200710035
- By:
- Publication type:
- Article
5
The natural numbers in constructive set theory.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 1, p. 83, doi. 10.1002/malq.200710036
- By:
- Publication type:
- Article
6
Real numbers and other completions.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 1, p. 98, doi. 10.1002/malq.200710024
- By:
- Publication type:
- Article
7
Editorial: Math. Log. Quart. 1/2008.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 1, p. 4, doi. 10.1002/malq.200890000
- By:
- Publication type:
- Article
8
A constructive version of Birkhoff's theorem.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 1, p. 27, doi. 10.1002/malq.200710023
- By:
- Publication type:
- Article
9
A localic theory of lower and upper integrals.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 1, p. 109, doi. 10.1002/malq.200710028
- By:
- Publication type:
- Article
10
Contents: Math. Log. Quart. 1/2008.
- Published in:
- 2008
- Publication type:
- Table of Contents
11
Generalising compactness.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 1, p. 49, doi. 10.1002/malq.200710041
- By:
- Publication type:
- Article
12
Product a-frames and proximity.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 1, p. 12, doi. 10.1002/malq.200710033
- By:
- Publication type:
- Article
13
A constructive semantics for non-deducibility.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 1, p. 35, doi. 10.1002/malq.200710026
- By:
- Publication type:
- Article