Found: 60
Select item for more details and to access through your institution.
Highness and bounding minimal pairs.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 475, doi. 10.1002/malq.19930390151
- By:
- Publication type:
- Article
System function languages.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 357, doi. 10.1002/malq.19930390140
- By:
- Publication type:
- Article
Remarks on Levy's reflection axiom.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 79, doi. 10.1002/malq.19930390111
- By:
- Publication type:
- Article
Completeness of the infinitary polyadic axiomatization.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 197, doi. 10.1002/malq.19930390122
- By:
- Publication type:
- Article
The theorem of the means for cardinal and ordinal numbers.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 279, doi. 10.1002/malq.19930390133
- By:
- Publication type:
- Article
Weak Forms of the Axiom of Choice and the Generalized Continuum Hypothesis.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 7, doi. 10.1002/malq.19930390104
- By:
- Publication type:
- Article
Derived sequences and reverse mathematics.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 447, doi. 10.1002/malq.19930390148
- By:
- Publication type:
- Article
Intermediate logics preserving admissible inference rules of heyting calculus.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 403, doi. 10.1002/malq.19930390144
- By:
- Publication type:
- Article
Finitary algebraic logic II.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 566, doi. 10.1002/malq.19930390159
- By:
- Publication type:
- Article
A proof of the normal form theorem for the closed terms of Girard's system F by means of computability.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 539, doi. 10.1002/malq.19930390155
- By:
- Publication type:
- Article
Hilbert's ϵ-operator in intuitionistic type theories.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 323, doi. 10.1002/malq.19930390137
- By:
- Publication type:
- Article
Sequential, pointwise, and uniform continuity: A constructive note.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 55, doi. 10.1002/malq.19930390108
- By:
- Publication type:
- Article
A note on parallelism in affine geometry.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 131, doi. 10.1002/malq.19930390115
- By:
- Publication type:
- Article
Classically complete modal relevant logics.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 165, doi. 10.1002/malq.19930390119
- By:
- Publication type:
- Article
Analytic completeness theorem for singular biprobability models.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 228, doi. 10.1002/malq.19930390126
- By:
- Publication type:
- Article
On the structure of kripke models of heyting arithmetic.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 531, doi. 10.1002/malq.19930390154
- By:
- Publication type:
- Article
Isols and maximal intersecting classes.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 67, doi. 10.1002/malq.19930390110
- By:
- Publication type:
- Article
La connaissance commune en logique modale.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 115, doi. 10.1002/malq.19930390114
- By:
- Publication type:
- Article
A partial model of NF with ZF.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 274, doi. 10.1002/malq.19930390132
- By:
- Publication type:
- Article
Jump Theorems for REA Operators.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 1, doi. 10.1002/malq.19930390103
- By:
- Publication type:
- Article
Ternary operations as primitive notions for constructive plane geometry III.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 393, doi. 10.1002/malq.19930390143
- By:
- Publication type:
- Article
Some results on polarized partion relations of higher dimension.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 461, doi. 10.1002/malq.19930390150
- By:
- Publication type:
- Article
Computable limits and colimits in categories of partial enumerated sets.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 181, doi. 10.1002/malq.19930390121
- By:
- Publication type:
- Article
A note on effective ultrapowers: Uniform failure of bounded collection.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 431, doi. 10.1002/malq.19930390146
- By:
- Publication type:
- Article
Seperating the intrinsic complexity and the derivational complexity of the word problem for finitely presented groups.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 143, doi. 10.1002/malq.19930390117
- By:
- Publication type:
- Article
Higher type categories.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 251, doi. 10.1002/malq.19930390129
- By:
- Publication type:
- Article
A cohesive set which is not high.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 515, doi. 10.1002/malq.19930390153
- By:
- Publication type:
- Article
On Wainer's notation for a minimal subrecursive inaccessible ordinal.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 217, doi. 10.1002/malq.19930390125
- By:
- Publication type:
- Article
Prefinitely axiomatizable modal and intermediate logics.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 301, doi. 10.1002/malq.19930390136
- By:
- Publication type:
- Article
How to develop Proof-Theoretic Ordinal Functions on the basis of admissible ordinals.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 47, doi. 10.1002/malq.19930390107
- By:
- Publication type:
- Article
Typical ambiguity and elementary equivalence.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 436, doi. 10.1002/malq.19930390147
- By:
- Publication type:
- Article
The finite cutset property.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 158, doi. 10.1002/malq.19930390118
- By:
- Publication type:
- Article
Consequences of Schanuel's condition for zeros of exponential terms.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 559, doi. 10.1002/malq.19930390158
- By:
- Publication type:
- Article
A simplified functorial construction of the veblen hierarchy.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 269, doi. 10.1002/malq.19930390131
- By:
- Publication type:
- Article
A variant of the Notion of Semicreative set.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 33, doi. 10.1002/malq.19930390106
- By:
- Publication type:
- Article
The basis decision problem in λ-calculus.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 178, doi. 10.1002/malq.19930390120
- By:
- Publication type:
- Article
Errata.
- Published in:
- 1993
- Publication type:
- Erratum
On a duality between Boolean valued analysis and topological Reduction Theory.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 23, doi. 10.1002/malq.19930390105
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. I, doi. 10.1002/malq.19930390102
- By:
- Publication type:
- Article
Measure independent Gödel speed-ups and the relative difficulty of recognizing sets.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 384, doi. 10.1002/malq.19930390142
- By:
- Publication type:
- Article
Normal form of derivations in the nonassociative and commutative lambek calculus with product.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 103, doi. 10.1002/malq.19930390113
- By:
- Publication type:
- Article
Open subspaces of locally compact metric spaces.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 213, doi. 10.1002/malq.19930390124
- By:
- Publication type:
- Article
Constructive notions of strict convexity.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 295, doi. 10.1002/malq.19930390135
- By:
- Publication type:
- Article
A boolean transfer principle from L*-Algebras to AL*-Algebras.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 241, doi. 10.1002/malq.19930390128
- By:
- Publication type:
- Article
Variations of Rado's lemma.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 353, doi. 10.1002/malq.19930390139
- By:
- Publication type:
- Article
Quasi-Stone algebras.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 255, doi. 10.1002/malq.19930390130
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. fmi, doi. 10.1002/malq.19930390101
- Publication type:
- Article
ω-operations over partial enumerated sets.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 551, doi. 10.1002/malq.19930390157
- By:
- Publication type:
- Article
An order-theoretic characterization of the Schütte-Veblen-Hierarchy.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 367, doi. 10.1002/malq.19930390141
- By:
- Publication type:
- Article
Local computation in linear logic.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 201, doi. 10.1002/malq.19930390123
- By:
- Publication type:
- Article