Complete, Recursively Enumerable Relations in Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 1, p. 65, doi. 10.1002/malq.19950410107
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1995 AND VI 41 AND IP 1
Results: 12
1
2
All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 1, p. 15, doi. 10.1002/malq.19950410103
- By:
- Publication type:
- Article
3
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 1, p. fmi, doi. 10.1002/malq.19950410101
- Publication type:
- Article
4
Dimension Versus Number of Variables, and Connectivity, too.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 1, p. 111, doi. 10.1002/malq.19950410110
- By:
- Publication type:
- Article
5
Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 1, p. 24, doi. 10.1002/malq.19950410104
- By:
- Publication type:
- Article
6
Tarskian Structured Consequence Relations and Functional Completeness.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 1, p. 73, doi. 10.1002/malq.19950410108
- By:
- Publication type:
- Article
7
Some Connections between Topological and Modal Logic.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 1, p. 49, doi. 10.1002/malq.19950410106
- By:
- Publication type:
- Article
8
Existentially Complete Nerode Semirings.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 1, p. 1, doi. 10.1002/malq.19950410102
- By:
- Publication type:
- Article
9
Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 1, p. 138, doi. 10.1002/malq.19950410112
- By:
- Publication type:
- Article
10
Acceptable Numerations of Morphisms and Myhill-Shepherdson Property.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 1, p. 39, doi. 10.1002/malq.19950410105
- By:
- Publication type:
- Article
11
Polygones.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 1, p. 93, doi. 10.1002/malq.19950410109
- By:
- Publication type:
- Article
12
On Σ<sub>1</sub>-definable Functions Provably Total in I ∏.
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 1, p. 135, doi. 10.1002/malq.19950410111
- By:
- Publication type:
- Article