Works matching IS 09425616 AND DT 2012 AND VI 58 AND IP 1/2
Results: 17
On Σ<sup>1</sup><sub>1</sub> equivalence relations over the natural numbers.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 113, doi. 10.1002/malq.201020063
- By:
- Publication type:
- Article
Isomorphic formulae in classical propositional logic.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 5, doi. 10.1002/malq.201020020
- By:
- Publication type:
- Article
Contents: (Math. Log. Quart. 1-2/2012).
- Published in:
- 2012
- Publication type:
- Table of Contents
Indestructibility, measurability, and degrees of supercompactness.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 75, doi. 10.1002/malq.201020097
- By:
- Publication type:
- Article
Forcing with the Anti-Foundation axiom.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 55, doi. 10.1002/malq.201020079
- By:
- Publication type:
- Article
Quantified universes and ultraproducts.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 63, doi. 10.1002/malq.201110019
- By:
- Publication type:
- Article
The failure of GCH at a degree of supercompactness.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 83, doi. 10.1002/malq.201020078
- By:
- Publication type:
- Article
Eventually open action.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 95, doi. 10.1002/malq.201100022
- By:
- Publication type:
- Article
Definably connected nonconnected sets.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 125, doi. 10.1002/malq.201100062
- By:
- Publication type:
- Article
Non-saturation of the non-stationary ideal on P<sub>κ</sub> (λ) with λ of countable cofinality.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 38, doi. 10.1002/malq.201020055
- By:
- Publication type:
- Article
A characterization of retracts in certain Fraïssé limits.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 46, doi. 10.1002/malq.201020084
- By:
- Publication type:
- Article
Reverse mathematics and infinite traceable graphs.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 18, doi. 10.1002/malq.201020066
- By:
- Publication type:
- Article
Cover Picture.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. n/a, doi. 10.1002/malq.201211001
- Publication type:
- Article
The complexity of countable categoricity in finite languages.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 105, doi. 10.1002/malq.201110035
- By:
- Publication type:
- Article
Issue Information.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. n/a, doi. 10.1002/malq.201211002
- Publication type:
- Article
Algebraic semantics for the (↔, ¬¬)-fragment of IPC.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 29, doi. 10.1002/malq.201110001
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 4, doi. 10.1002/malq.201219999
- Publication type:
- Article