Works matching IS 09425616 AND DT 1994 AND VI 40 AND IP 1
Results: 19
Ternary Operations as Primitive Notions for Constructive Plane Geometry IV.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 76, doi. 10.1002/malq.19940400111
- By:
- Publication type:
- Article
Fregean Extensions of First-Order Theories.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 27, doi. 10.1002/malq.19940400104
- By:
- Publication type:
- Article
A New Reducibility between Turing- and wtt-Reducibility.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 106, doi. 10.1002/malq.19940400115
- By:
- Publication type:
- Article
Choices of Convenient Sets.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 51, doi. 10.1002/malq.19940400108
- By:
- Publication type:
- Article
Model Companions with Finitely Many Countable Models.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 141, doi. 10.1002/malq.19940400119
- By:
- Publication type:
- Article
Boolean Valued and Stone Algebra Valued Measure Theories.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 69, doi. 10.1002/malq.19940400110
- By:
- Publication type:
- Article
On Preservation of Stability for Finite Extensions of Abelian Groups.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 14, doi. 10.1002/malq.19940400103
- By:
- Publication type:
- Article
Universal Induction and True Universal Arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 103, doi. 10.1002/malq.19940400114
- By:
- Publication type:
- Article
Translations of Logical Formulas and the Equiconsistency Problem.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 44, doi. 10.1002/malq.19940400107
- By:
- Publication type:
- Article
Monotonicity and the Expressibility of NP Operators.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 132, doi. 10.1002/malq.19940400118
- By:
- Publication type:
- Article
Lebesgue Convergence Theorems and Reverse Mathematics.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 1, doi. 10.1002/malq.19940400102
- By:
- Publication type:
- Article
Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 95, doi. 10.1002/malq.19940400113
- By:
- Publication type:
- Article
Some Aspects and Examples of Infinity Notions.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 111, doi. 10.1002/malq.19940400116
- By:
- Publication type:
- Article
Abelian-by- G Groups, for G Finite, from the Model Theoretic Point of View.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 125, doi. 10.1002/malq.19940400117
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. fmi, doi. 10.1002/malq.19940400101
- Publication type:
- Article
The Index Set of Injectively Enumerable Classes of Recursively Enumerable Sets in ∑<sub>5</sub>-Complete.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 87, doi. 10.1002/malq.19940400112
- By:
- Publication type:
- Article
An Application of Logic to Combinatorial Geometry: How Many Tetrahedra are Equidecomposable with a Cube?
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 31, doi. 10.1002/malq.19940400105
- By:
- Publication type:
- Article
Complements of Intersections in Constructive Mathematics.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 35, doi. 10.1002/malq.19940400106
- By:
- Publication type:
- Article
A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 1, p. 61, doi. 10.1002/malq.19940400109
- By:
- Publication type:
- Article