Monadic generalized spectra.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 89, doi. 10.1002/malq.19750210112
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 1975 AND VI 21 AND IP 1
Results: 64
1
2
Polish circles.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 395, doi. 10.1002/malq.19750210152
- By:
- Publication type:
- Article
3
A note concerning the V* relation on Λ<sub>r</sub>.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 177, doi. 10.1002/malq.19750210123
- By:
- Publication type:
- Article
4
L-Σ.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 463, doi. 10.1002/malq.19750210163
- By:
- Publication type:
- Article
5
Contributions to the theory of semisets V: On the axiom of general collapse.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 289, doi. 10.1002/malq.19750210134
- By:
- Publication type:
- Article
6
Non recursive functionals.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 41, doi. 10.1002/malq.19750210105
- By:
- Publication type:
- Article
7
Minimale Gruppen.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 357, doi. 10.1002/malq.19750210145
- By:
- Publication type:
- Article
8
A two-cardinal characterization of double spectra.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 121, doi. 10.1002/malq.19750210116
- By:
- Publication type:
- Article
9
An example of a function with multiple ambiguities.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 413, doi. 10.1002/malq.19750210156
- By:
- Publication type:
- Article
10
Jankov-theorems for some implicational calculi.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 193, doi. 10.1002/malq.19750210127
- By:
- Publication type:
- Article
11
Structural completeness of the first-order predicate calculus.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 315, doi. 10.1002/malq.19750210138
- By:
- Publication type:
- Article
12
Sets derived by deterministic systems with axiom.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 71, doi. 10.1002/malq.19750210109
- By:
- Publication type:
- Article
13
A note on the compactness theorem.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 377, doi. 10.1002/malq.19750210149
- By:
- Publication type:
- Article
14
The Baire category of sets of access.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 331, doi. 10.1002/malq.19750210140
- By:
- Publication type:
- Article
15
On the standard-model hypothesis of ZF.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 87, doi. 10.1002/malq.19750210111
- By:
- Publication type:
- Article
16
Ultraprodukte in der Theorie der logischen Auswahlfunktionen.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 385, doi. 10.1002/malq.19750210151
- By:
- Publication type:
- Article
17
Spectra and halting problems.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 167, doi. 10.1002/malq.19750210122
- By:
- Publication type:
- Article
18
Zum Isomorphieproblem der Booleschen Algebren.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 455, doi. 10.1002/malq.19750210162
- By:
- Publication type:
- Article
19
[Russian text ignored].
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 267, doi. 10.1002/malq.19750210133
- Publication type:
- Article
20
The logical consequence relation of propositional tense logic.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 29, doi. 10.1002/malq.19750210104
- By:
- Publication type:
- Article
21
Comparing type theory and set theory.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 355, doi. 10.1002/malq.19750210144
- By:
- Publication type:
- Article
22
An ordered set of arithmetic functions representing the least ε-number.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 115, doi. 10.1002/malq.19750210115
- By:
- Publication type:
- Article
23
On the effective ω-rule.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 409, doi. 10.1002/malq.19750210155
- By:
- Publication type:
- Article
24
Der Satz von Dilworth und Souslin's Hypothese.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 187, doi. 10.1002/malq.19750210126
- By:
- Publication type:
- Article
25
A cumulative hierarchy of predicates.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 309, doi. 10.1002/malq.19750210137
- By:
- Publication type:
- Article
26
A remark on the strict order property.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 69, doi. 10.1002/malq.19750210108
- By:
- Publication type:
- Article
27
An alternative concept of the universal decision element in m-valued logic.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 369, doi. 10.1002/malq.19750210148
- By:
- Publication type:
- Article
28
A note on the existence of tautologies without constants.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 141, doi. 10.1002/malq.19750210119
- By:
- Publication type:
- Article
29
Categorical languages for algebraic structures.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 433, doi. 10.1002/malq.19750210159
- By:
- Publication type:
- Article
30
Disjunctive extensions of S4 and a conjecture of Goldblatt's.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 81, doi. 10.1002/malq.19750210110
- By:
- Publication type:
- Article
31
The completeness of monotonic modal logics.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 379, doi. 10.1002/malq.19750210150
- By:
- Publication type:
- Article
32
Über die Erfüllung gewisser Erhaltungssätze durch Kompliziertheitsmasse.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 159, doi. 10.1002/malq.19750210121
- By:
- Publication type:
- Article
33
Zur Darstellung koaufzählbarer Prädikate bei Verwendung eines einzigen unbeschränkten Quantors.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 443, doi. 10.1002/malq.19750210161
- By:
- Publication type:
- Article
34
[Russian text ignored].
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 247, doi. 10.1002/malq.19750210132
- Publication type:
- Article
35
Triadic partial implicational propositional calculi.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 21, doi. 10.1002/malq.19750210103
- By:
- Publication type:
- Article
36
Characterising the largest, countable partial ordering.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 353, doi. 10.1002/malq.19750210143
- By:
- Publication type:
- Article
37
Reduction of second-order logic to modal logic.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 107, doi. 10.1002/malq.19750210114
- By:
- Publication type:
- Article
38
Infinitary logic and topological homeomorphisms.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 405, doi. 10.1002/malq.19750210154
- By:
- Publication type:
- Article
39
A short proof of a well-known theorem of intuitionistic analysis.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 185, doi. 10.1002/malq.19750210125
- By:
- Publication type:
- Article
40
Partial n<sub>1-</sub>homogeneity of the countable saturated model of an n<sub>1</sub>-categorical theory.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 307, doi. 10.1002/malq.19750210136
- By:
- Publication type:
- Article
41
Two variants of the system of entailment.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 57, doi. 10.1002/malq.19750210107
- By:
- Publication type:
- Article
42
A note on simple graphic algebras.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 365, doi. 10.1002/malq.19750210147
- By:
- Publication type:
- Article
43
On languages with two variables.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 135, doi. 10.1002/malq.19750210118
- By:
- Publication type:
- Article
44
A note on the predicatively definable sets of N. N. Nepeîvoda.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 427, doi. 10.1002/malq.19750210158
- By:
- Publication type:
- Article
45
Computable explanations.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 215, doi. 10.1002/malq.19750210129
- By:
- Publication type:
- Article
46
Zur Benutzung der Verkettung als Basis für die Arithmetik.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 145, doi. 10.1002/malq.19750210120
- By:
- Publication type:
- Article
47
Contribution to the theory of semisets VI: (Non-existence of the class of all absolute natural numbers).
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 439, doi. 10.1002/malq.19750210160
- By:
- Publication type:
- Article
48
Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 229, doi. 10.1002/malq.19750210131
- By:
- Publication type:
- Article
49
On a simple definition of computable function of a real variable-with applications to functions of a complex variable.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 1, doi. 10.1002/malq.19750210102
- By:
- Publication type:
- Article
50
Die Elementare Theorie der Gruppe vom Typ p<sup>∞</sup> mit Untergruppen.
- Published in:
- Mathematical Logic Quarterly, 1975, v. 21, n. 1, p. 347, doi. 10.1002/malq.19750210142
- By:
- Publication type:
- Article