Volume 40, 1994
export record as
dblp key:
Xiaokang Yu :
Lebesgue Convergence Theorems and Reverse Mathematics.
1-13
export record as
dblp key:
Frieder Haug :
On Preservation of Stability for Finite Extensions of Abelian Groups.
14-26
export record as
dblp key:
John L. Bell :
Fregean Extensions of First-Order Theories.
27-30
export record as
dblp key:
journals/mlq/KoshelevaK94 export record as
dblp key:
export record as
dblp key:
Andrei A. Kuzichev :
Translations of Logical Formulas and the Equiconsistency Problem.
44-50
export record as
dblp key:
export record as
dblp key:
journals/mlq/RebagliatoV94 Jordi Rebagliato ,
Ventura Verdú :
A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus.
61-68
export record as
dblp key:
export record as
dblp key:
journals/mlq/Pambuccian94 Victor Pambuccian :
Ternary Operations as Primitive Notions for Constructive Plane Geometry IV.
76-86
export record as
dblp key:
Stephan Wehner :
The Index Set of Injectively Enumerable Classes of Recursively Enumerable Sets is Sigma5 -Complete.
87-94
export record as
dblp key:
export record as
dblp key:
journals/mlq/Bigorajska94 export record as
dblp key:
Yuefei Sui :
A New Reducibility between Turing- and wtt-Reducibility.
106-110
export record as
dblp key:
J. W. Degen :
Some Aspects and Examples of Infinity Notions.
111-124
export record as
dblp key:
journals/mlq/ToffaloriM94 export record as
dblp key:
Iain A. Stewart :
Monotonicity and the Expressibility of NP Operators.
132-140
export record as
dblp key:
Stanley Burris :
Model Companions with Finitely Many Countable Models.
141-142
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/mlq/Gluschankof94 export record as
dblp key:
export record as
dblp key:
Claude Laflamme :
Bonnding and Dominating Number of Families of Functions on omega .
207-223
export record as
dblp key:
export record as
dblp key:
journals/mlq/Hemmerling94 Armin Hemmerling :
Navigation Without Perception of Coordinates and Distances.
237-260
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Larry Mathews :
Completions of Convexly Ordered Valuation Rings.
318-330
export record as
dblp key:
export record as
dblp key:
Friederike Körner :
Cofinal Indiscernibles and some Applications to New Foundations.
347-356
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Karl-Heinz Diener :
A Remark an Ascending Chain Conditions, the CouDtable Axiom of Choice and the Principle of Dependent Choices.
415-421
export record as
dblp key:
Michael Deutsch :
A Note on the Theorems of Church-Turing and Trachtenbrot.
422-424
export record as
dblp key:
journals/mlq/Perez-JimenezF94 export record as
dblp key:
Antoni Torrens :
Cyclic Elements in MV-Algebras and Post Algebras.
431-444
export record as
dblp key:
Larry Mathews :
Hilbert's 17th Problem for Real Closed Rings.
445-454
export record as
dblp key:
journals/mlq/Pambuccian94a Victor Pambuccian :
Ternary Operations as Primitive Notions for Constructive Plane Geometry V.
455-477
export record as
dblp key:
journals/mlq/Banaschewski94 export record as
dblp key:
Marcel Crabbé :
The Hauptsatz for Stratified Comprehension: A Semantic Proof.
481-489
export record as
dblp key:
André Nies :
Recursively Enumerable Equivalence Relations Modulo Finite Differences.
490-518
export record as
dblp key:
export record as
dblp key:
Makoto Kikuchi :
A Note on Boolos' Proof of the Incompleteness Theorem.
528-532
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
