Works matching IS 09425616 AND DT 2006 AND VI 52 AND IP 1
Results: 11
The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 106, doi. 10.1002/malq.200510020
- By:
- Publication type:
- Article
Editorial: MLQ – Math. Log. Quart. 1/2006.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 3, doi. 10.1002/malq.200690000
- By:
- Publication type:
- Article
The ultra-weak Ash conjecture and some particular cases.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 4, doi. 10.1002/malq.200510010
- By:
- Publication type:
- Article
Envelopes, indicators and conservativeness.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 51, doi. 10.1002/malq.200410055
- By:
- Publication type:
- Article
On Löb algebras.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 95, doi. 10.1002/malq.200510016
- By:
- Publication type:
- Article
Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 14, doi. 10.1002/malq.200510013
- By:
- Publication type:
- Article
How much sweetness is there in the universe?
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 71, doi. 10.1002/malq.200410056
- By:
- Publication type:
- Article
Restorations of punctured languages and similarity of languages.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 20, doi. 10.1002/malq.200510017
- By:
- Publication type:
- Article
Minimum boundary touching tilings of polyominoes.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 29, doi. 10.1002/malq.200510015
- By:
- Publication type:
- Article
Two logical hierarchies of optimization problems over the real numbers.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 37, doi. 10.1002/malq.200510021
- By:
- Publication type:
- Article
Recursive complexity of the Carnap first order modal logic C.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 87, doi. 10.1002/malq.200410057
- By:
- Publication type:
- Article