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
Works matching IS 09425616 AND DT 1993 AND VI 39 AND IP 1
Results: 60
1
2
System function languages.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 357, doi. 10.1002/malq.19930390140
- By:
- Publication type:
- Article
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
11
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
12
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
13
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
14
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
15
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
16
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
17
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
18
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
19
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
20
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
21
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
22
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
23
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
24
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
25
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
26
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
27
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
28
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
29
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
30
Higher type categories.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 251, doi. 10.1002/malq.19930390129
- By:
- Publication type:
- Article
31
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
32
Errata.
- Published in:
- 1993
- Publication type:
- Erratum
33
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
34
Editorial.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. I, doi. 10.1002/malq.19930390102
- By:
- Publication type:
- Article
35
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
36
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
37
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
38
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
39
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
40
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
41
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
42
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
43
ω-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
44
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
45
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
46
Quasi-Stone algebras.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 255, doi. 10.1002/malq.19930390130
- By:
- Publication type:
- Article
47
Masthead.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. fmi, doi. 10.1002/malq.19930390101
- Publication type:
- Article
48
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
49
On roots of exponential terms.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 96, doi. 10.1002/malq.19930390112
- By:
- Publication type:
- Article
50
On the predecessor relation in abstract algebras.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 492, doi. 10.1002/malq.19930390152
- By:
- Publication type:
- Article