Works matching IS 09335846 AND DT 2013 AND VI 52 AND IP 3/4
Results: 10
Generalized Bosbach states: part I.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 335, doi. 10.1007/s00153-012-0319-2
- By:
- Publication type:
- Article
Herbrand consistency of some finite fragments of bounded arithmetical theories.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 317, doi. 10.1007/s00153-012-0318-3
- By:
- Publication type:
- Article
Covering properties of ideals.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 279, doi. 10.1007/s00153-012-0316-5
- By:
- Publication type:
- Article
Gentzen's consistency proof without heightlines.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 449, doi. 10.1007/s00153-013-0324-0
- By:
- Publication type:
- Article
Gap structure after forcing with a coherent Souslin tree.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 435, doi. 10.1007/s00153-013-0323-1
- By:
- Publication type:
- Article
Matrix iterations and Cichon's diagram.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 261, doi. 10.1007/s00153-012-0315-6
- By:
- Publication type:
- Article
Intersection numbers of families of ideals.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 403, doi. 10.1007/s00153-012-0321-8
- By:
- Publication type:
- Article
A dense family of well-behaved finite monogenerated left-distributive groupoids.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 377, doi. 10.1007/s00153-012-0320-9
- By:
- Publication type:
- Article
First-order Nilpotent minimum logics: first steps.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 295, doi. 10.1007/s00153-012-0317-4
- By:
- Publication type:
- Article
An example related to Gregory's Theorem.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 3/4, p. 419, doi. 10.1007/s00153-013-0322-2
- By:
- Publication type:
- Article