On the extender algebra being complete.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 6, p. 531, doi. 10.1002/malq.200610011
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2006 AND VI 52 AND IP 6
Results: 10
1
2
Unique solutions.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 6, p. 534, doi. 10.1002/malq.200610012
- By:
- Publication type:
- Article
3
A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 6, p. 540, doi. 10.1002/malq.200610013
- By:
- Publication type:
- Article
4
On ℵ<sub>0</sub>-categorical weakly circularly minimal structures.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 6, p. 555, doi. 10.1002/malq.200610014
- By:
- Publication type:
- Article
5
The weak pigeonhole principle for function classes in S<sup>1</sup><sub>2</sub>.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 6, p. 575, doi. 10.1002/malq.200610015
- By:
- Publication type:
- Article
6
Calculus on strong partition cardinals.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 6, p. 585, doi. 10.1002/malq.200610016
- By:
- Publication type:
- Article
7
Quasi-completeness and functions without fixed-points.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 6, p. 595, doi. 10.1002/malq.200610017
- By:
- Publication type:
- Article
8
The strength of sharply bounded induction.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 6, p. 613
- By:
- Publication type:
- Article
9
Effective Borel degrees of some topological functions.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 6, p. 625, doi. 10.1002/malq.200610021
- By:
- Publication type:
- Article
10
A finite model property for RMI<sub>min</sub>.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 6, p. 602, doi. 10.1002/malq.200610018
- By:
- Publication type:
- Article