An Omitting Types Theorem for first order logic with infinitary relation symbols.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 6, p. 564, doi. 10.1002/malq.200610050
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2007 AND VI 53 AND IP 6
Results: 9
1
2
On witnessed models in fuzzy logic II.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 6, p. 610, doi. 10.1002/malq.200710019
- By:
- Publication type:
- Article
3
Corrigendum to “Generalized periodicity and primitivity for words”.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 6, p. 642, doi. 10.1002/malq.200710027
- By:
- Publication type:
- Article
4
Conserving involution in residuated structures.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 6, p. 583, doi. 10.1002/malq.200610052
- By:
- Publication type:
- Article
5
Categorical abstract algebraic logic: The categorical Suszko operator.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 6, p. 616, doi. 10.1002/malq.200710020
- By:
- Publication type:
- Article
6
Two cardinal models for singular μ.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 6, p. 636, doi. 10.1002/malq.200610053
- By:
- Publication type:
- Article
7
Local sentences and Mahlo cardinals.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 6, p. 558, doi. 10.1002/malq.200610049
- By:
- Publication type:
- Article
8
Pairwise disjoint eight-shaped curves in hybrid planes.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 6, p. 551, doi. 10.1002/malq.200710003
- By:
- Publication type:
- Article
9
The universal covering homomorphism in o-minimal expansions of groups.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 6, p. 571, doi. 10.1002/malq.200610051
- By:
- Publication type:
- Article