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
Works matching IS 09425616 AND DT 2012 AND VI 58 AND IP 1/2
Results: 17
1
2
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
3
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
4
Contents: (Math. Log. Quart. 1-2/2012).
- Published in:
- 2012
- Publication type:
- Table of Contents
5
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
6
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
7
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
8
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
9
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
10
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
11
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
12
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
13
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
14
Issue Information.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. n/a, doi. 10.1002/malq.201211002
- Publication type:
- Article
15
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
16
Cover Picture.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. n/a, doi. 10.1002/malq.201211001
- Publication type:
- Article
17
Editorial.
- Published in:
- Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 4, doi. 10.1002/malq.201219999
- Publication type:
- Article