On Bellissima's construction of the finitely generated free Heyting algebras, and beyond.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 7/8, p. 743, doi. 10.1007/s00153-010-0194-7
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2010 AND VI 49 AND IP 7/8
Results: 5
1
2
Indestructibility, instances of strong compactness, and level by level inequivalence.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 7/8, p. 725, doi. 10.1007/s00153-010-0200-0
- By:
- Publication type:
- Article
3
Consistency statements and iterations of computable functions in IΣ and PRA.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 7/8, p. 773, doi. 10.1007/s00153-010-0199-2
- By:
- Publication type:
- Article
4
Small universal families for graphs omitting cliques without GCH.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 7/8, p. 799, doi. 10.1007/s00153-010-0197-4
- By:
- Publication type:
- Article
5
A note on da Costa-Doria 'exotic formalizations'.
- Published in:
- Archive for Mathematical Logic, 2010, v. 49, n. 7/8, p. 813, doi. 10.1007/s00153-010-0203-x
- By:
- Publication type:
- Article