Works matching IS 09335846 AND DT 2014 AND VI 53 AND IP 3/4
Results: 11
Coverings by open cells.
- Published in:
- Archive for Mathematical Logic, 2014, v. 53, n. 3/4, p. 307, doi. 10.1007/s00153-014-0367-x
- By:
- Publication type:
- Article
The polytopologies of transfinite provability logic.
- Published in:
- Archive for Mathematical Logic, 2014, v. 53, n. 3/4, p. 385, doi. 10.1007/s00153-014-0371-1
- By:
- Publication type:
- Article
Monotone operators on Gödel logic.
- Published in:
- Archive for Mathematical Logic, 2014, v. 53, n. 3/4, p. 261, doi. 10.1007/s00153-013-0365-4
- By:
- Publication type:
- Article
On axiom schemes for T-provably $${\Delta_{1}}$$ formulas.
- Published in:
- Archive for Mathematical Logic, 2014, v. 53, n. 3/4, p. 327, doi. 10.1007/s00153-014-0368-9
- By:
- Publication type:
- Article
Forcing Magidor iteration over a core model below $${0^{\P}}$$.
- Published in:
- Archive for Mathematical Logic, 2014, v. 53, n. 3/4, p. 367, doi. 10.1007/s00153-014-0370-2
- By:
- Publication type:
- Article
Isogeny in superstable groups.
- Published in:
- Archive for Mathematical Logic, 2014, v. 53, n. 3/4, p. 449, doi. 10.1007/s00153-014-0373-z
- By:
- Publication type:
- Article
Tame properties of sets and functions definable in weakly o-minimal structures.
- Published in:
- Archive for Mathematical Logic, 2014, v. 53, n. 3/4, p. 433, doi. 10.1007/s00153-014-0372-0
- By:
- Publication type:
- Article
Resurrection axioms and uplifting cardinals.
- Published in:
- Archive for Mathematical Logic, 2014, v. 53, n. 3/4, p. 463, doi. 10.1007/s00153-014-0374-y
- By:
- Publication type:
- Article
Large transitive models in local ZFC.
- Published in:
- Archive for Mathematical Logic, 2014, v. 53, n. 3/4, p. 233, doi. 10.1007/s00153-013-0364-5
- By:
- Publication type:
- Article
Rank-into-rank hypotheses and the failure of GCH.
- Published in:
- Archive for Mathematical Logic, 2014, v. 53, n. 3/4, p. 351, doi. 10.1007/s00153-014-0369-8
- By:
- Publication type:
- Article
Reducts of p-adically closed fields.
- Published in:
- Archive for Mathematical Logic, 2014, v. 53, n. 3/4, p. 285, doi. 10.1007/s00153-013-0366-3
- By:
- Publication type:
- Article