Works matching IS 09335846 AND DT 2013 AND VI 52 AND IP 1/2
Results: 12
Chang's Conjecture and weak square.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 1/2, p. 29, doi. 10.1007/s00153-012-0305-8
- By:
- Publication type:
- Article
A saturation property of structures obtained by forcing with a compact family of random variables.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 1/2, p. 19, doi. 10.1007/s00153-012-0304-9
- By:
- Publication type:
- Article
Non-deterministic inductive definitions.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 1/2, p. 113, doi. 10.1007/s00153-012-0309-4
- By:
- Publication type:
- Article
Quelques réflexions inévitables.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 1/2, p. 159, doi. 10.1007/s00153-012-0312-9
- By:
- Publication type:
- Article
Club degrees of rigidity and almost Kurepa trees.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 1/2, p. 47, doi. 10.1007/s00153-012-0306-7
- By:
- Publication type:
- Article
On elementary equivalence in fuzzy predicate logics.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 1/2, p. 1, doi. 10.1007/s00153-012-0303-x
- By:
- Publication type:
- Article
The taming of recurrences in computability logic through cirquent calculus, Part I.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 1/2, p. 173, doi. 10.1007/s00153-012-0313-8
- By:
- Publication type:
- Article
Real closures of models of weak arithmetic.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 1/2, p. 143, doi. 10.1007/s00153-012-0311-x
- By:
- Publication type:
- Article
Effective algebraicity.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 1/2, p. 91, doi. 10.1007/s00153-012-0308-5
- By:
- Publication type:
- Article
The taming of recurrences in computability logic through cirquent calculus, Part II.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 1/2, p. 213, doi. 10.1007/s00153-012-0314-7
- By:
- Publication type:
- Article
Antibasis theorems for $${\Pi^0_1}$$ classes and the jump hierarchy.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 1/2, p. 137, doi. 10.1007/s00153-012-0310-y
- By:
- Publication type:
- Article
A characterization of $${\square(\kappa^{+})}$$ in extender models.
- Published in:
- Archive for Mathematical Logic, 2013, v. 52, n. 1/2, p. 67, doi. 10.1007/s00153-012-0307-6
- By:
- Publication type:
- Article