Arithmetic of divisibility in finite models.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 2, p. 169, doi. 10.1002/malq.200310086
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2004 AND VI 50 AND IP 2
Results: 10
1
2
Boolos-style proofs of limitative theorems.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 2, p. 211
- By:
- Publication type:
- Article
3
A solution to identities problem in 2-element HSI-algebras.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 2, p. 175, doi. 10.1002/malq.200310087
- By:
- Publication type:
- Article
4
Polygones.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 2, p. 152, doi. 10.1002/malq.200310085
- By:
- Publication type:
- Article
5
Consequences of the failure of the axiom of choice in the theory of Lindelöf metric spaces.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 2, p. 141, doi. 10.1002/malq.200310084
- By:
- Publication type:
- Article
6
Weak forms of elimination of imaginaries.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 2, p. 126, doi. 10.1002/malq.200310083
- By:
- Publication type:
- Article
7
A secondary semantics for Second Order Intuitionistic Propositional Logic.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 2, p. 202, doi. 10.1002/malq.200310090
- By:
- Publication type:
- Article
8
Quasi-complements of the cappable degrees.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 2, p. 189, doi. 10.1002/malq.200310089
- By:
- Publication type:
- Article
9
An Ehrenfeucht-Fraïssé class game.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 2, p. 179, doi. 10.1002/malq.200310088
- By:
- Publication type:
- Article
10
Glivenko like theorems in natural expansions of BCK-logic.
- Published in:
- Mathematical Logic Quarterly, 2004, v. 50, n. 2, p. 111, doi. 10.1002/malq.200310082
- By:
- Publication type:
- Article