Representations of structural closure operators.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 1/2, p. 45, doi. 10.1007/s00153-010-0201-z
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2011 AND VI 50 AND IP 1/2
Results: 14
1
2
A superhigh diamond in the c.e. tt-degrees.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 1/2, p. 33, doi. 10.1007/s00153-010-0198-3
- By:
- Publication type:
- Article
3
A dedekind finite borel set.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 1/2, p. 1, doi. 10.1007/s00153-010-0195-6
- By:
- Publication type:
- Article
4
Completeness with respect to a chain and universal models in fuzzy logic.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 1/2, p. 161, doi. 10.1007/s00153-010-0207-6
- By:
- Publication type:
- Article
5
Intermediate Logics and the de Jongh property.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 1/2, p. 197, doi. 10.1007/s00153-010-0209-4
- By:
- Publication type:
- Article
6
Subdirectly irreducible state-morphism BL-algebras.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 1/2, p. 145, doi. 10.1007/s00153-010-0206-7
- By:
- Publication type:
- Article
7
On the contrapositive of countable choice.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 1/2, p. 137, doi. 10.1007/s00153-010-0205-8
- By:
- Publication type:
- Article
8
Souslin algebra embeddings.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 1/2, p. 75, doi. 10.1007/s00153-010-0202-y
- By:
- Publication type:
- Article
9
Deciding the existence of uniform interpolants over transitive models.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 1/2, p. 185, doi. 10.1007/s00153-010-0208-5
- By:
- Publication type:
- Article
10
The short extenders gap three forcing using a morass.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 1/2, p. 115, doi. 10.1007/s00153-010-0204-9
- By:
- Publication type:
- Article
11
The conjugacy problem for the automorphism group of the random graph.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 1/2, p. 215, doi. 10.1007/s00153-010-0210-y
- By:
- Publication type:
- Article
12
A note on propositional proof complexity of some Ramsey-type statements.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 1/2, p. 245, doi. 10.1007/s00153-010-0212-9
- By:
- Publication type:
- Article
13
On the strength of no normal precipitous filter.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 1/2, p. 223, doi. 10.1007/s00153-010-0211-x
- By:
- Publication type:
- Article
14
Invariance results for definable extensions of groups.
- Published in:
- Archive for Mathematical Logic, 2011, v. 50, n. 1/2, p. 19, doi. 10.1007/s00153-010-0196-5
- By:
- Publication type:
- Article