A uniformly computable Implicit Function Theorem.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 3, p. 272, doi. 10.1002/malq.200710040
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2008 AND VI 54 AND IP 3
Results: 13
1
2
Reducing the consistency strength of an indestructibility theorem.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 3, p. 288, doi. 10.1002/malq.200710037
- By:
- Publication type:
- Article
3
Comparison of Picard groups in dimension 1.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 3, p. 247, doi. 10.1002/malq.200710051
- By:
- Publication type:
- Article
4
Weakly representable atom structures that are not strongly representable, with an application to first order logic.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 3, p. 294, doi. 10.1002/malq.200710038
- By:
- Publication type:
- Article
5
Contents: Math. Log. Quart. 3/2008.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 3, p. 221, doi. 10.1002/malq.200810200
- Publication type:
- Article
6
On models of exponentiation. Identities in the HSI-algebra of posets.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 3, p. 280, doi. 10.1002/malq.200710031
- By:
- Publication type:
- Article
7
Dialectica interpretation of well-founded induction.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 3, p. 229, doi. 10.1002/malq.200710045
- By:
- Publication type:
- Article
8
Classical truth in higher types.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 3, p. 240, doi. 10.1002/malq.200710046
- By:
- Publication type:
- Article
9
Characterizing PSPACE with pointers.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 3, p. 323, doi. 10.1002/malq.200610056
- By:
- Publication type:
- Article
10
On Keisler singular-like models.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 3, p. 330, doi. 10.1002/malq.200710047
- By:
- Publication type:
- Article
11
Long Borel hierarchies.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 3, p. 307, doi. 10.1002/malq.200710044
- By:
- Publication type:
- Article
12
Elementary constructive theory of Henselian local rings.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 3, p. 253, doi. 10.1002/malq.200710057
- By:
- Publication type:
- Article
13
A note on the axiomatisation of real numbers.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 3, p. 224, doi. 10.1002/malq.200710039
- By:
- Publication type:
- Article