Works matching IS 09335846 AND DT 2012 AND VI 51 AND IP 1/2
Results: 12
Phase transitions of iterated Higman-style well-partial-orderings.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 127, doi. 10.1007/s00153-011-0258-3
- By:
- Publication type:
- Article
The Dirac delta function in two settings of Reverse Mathematics.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 99, doi. 10.1007/s00153-011-0256-5
- By:
- Publication type:
- Article
Hilbert versus Hindman.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 123, doi. 10.1007/s00153-011-0257-4
- By:
- Publication type:
- Article
Proof analysis in intermediate logics.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 71, doi. 10.1007/s00153-011-0254-7
- By:
- Publication type:
- Article
Amalgamation through quantifier elimination for varieties of commutative residuated lattices.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 15, doi. 10.1007/s00153-011-0251-x
- By:
- Publication type:
- Article
Bounded enumeration reducibility and its degree structure.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 163, doi. 10.1007/s00153-011-0259-2
- By:
- Publication type:
- Article
Ab initio generic structures which are superstable but not ω-stable.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 203, doi. 10.1007/s00153-011-0263-6
- By:
- Publication type:
- Article
Cardinal coefficients associated to certain orders on ideals.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 187, doi. 10.1007/s00153-011-0260-9
- By:
- Publication type:
- Article
Creature forcing and large continuum: the joy of halving.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 49, doi. 10.1007/s00153-011-0253-8
- By:
- Publication type:
- Article
Proof-relevance of families of setoids and identity in type theory.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 35, doi. 10.1007/s00153-011-0252-9
- By:
- Publication type:
- Article
A note on admissible rules and the disjunction property in intermediate logics.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 1, doi. 10.1007/s00153-011-0250-y
- By:
- Publication type:
- Article
Degrees of isomorphism types and countably categorical groups.
- Published in:
- Archive for Mathematical Logic, 2012, v. 51, n. 1/2, p. 93, doi. 10.1007/s00153-011-0255-6
- By:
- Publication type:
- Article