Kleine Büning, Hans Durch syntaktische Rekursion definierte Klassen. (German) Zbl 0572.03018 Z. Math. Logik Grundlagen Math. 29, 169-175 (1983). Reviewer: R.Murawski MSC: 03D15 03D20 × Cite Format Result Cite Review PDF Full Text: DOI
Lambek, J.; Scott, P. J. New proofs of some intuitionistic principles. (English) Zbl 0568.03030 Z. Math. Logik Grundlagen Math. 29, 493-504 (1983). Reviewer: A.Ščedrov MSC: 03F55 03G30 × Cite Format Result Cite Review PDF Full Text: DOI
Seely, Robert A. G. Hyperdoctrines, natural deduction and the Beck condition. (English) Zbl 0565.03032 Z. Math. Logik Grundlagen Math. 29, 505-542 (1983). Reviewer: A.Kock MSC: 03G30 18D30 × Cite Format Result Cite Review PDF Full Text: DOI
Kuzichev, A. S. On an arithmetically consistent \(\lambda\)-theory. (Russian) Zbl 0555.03005 Z. Math. Logik Grundlagen Math. 29, 385-416 (1983). Reviewer: J.Zlatuska MSC: 03B40 03F30 03F35 03B30 03F07 × Cite Format Result Cite Review PDF Full Text: DOI
Crabbé, Marcel On the reduction of type theory. (English) Zbl 0554.03026 Z. Math. Logik Grundlagen Math. 29, 235-237 (1983). Reviewer: Z.Adamowicz MSC: 03E70 03B15 × Cite Format Result Cite Review PDF Full Text: DOI
Zaiontz, Charles Axiomatization of the monadic theory of ordinals \(<\omega _ 2\). (English) Zbl 0553.03006 Z. Math. Logik Grundlagen Math. 29, 337-356 (1983). Reviewer: N.Both MSC: 03B25 03E10 03D60 × Cite Format Result Cite Review PDF Full Text: DOI
Diener, Karl-Heinz On constructing infinitary languages \(L_{\alpha\beta }\) without the axiom of choice. (English) Zbl 0549.03050 Z. Math. Logik Grundlagen Math. 29, 357-376 (1983). Reviewer: K.Gloede MSC: 03E99 03C70 03G25 × Cite Format Result Cite Review PDF Full Text: DOI
Hrbáček, Karel Degrees of analytic sets. (English) Zbl 0549.03039 Z. Math. Logik Grundlagen Math. 29, 75-82 (1983). MSC: 03E15 03D30 × Cite Format Result Cite Review PDF Full Text: DOI
Griffor, Edward R. Some consequences of AD for Kleene recursion in \({}^ 3E\). (English) Zbl 0549.03034 Z. Math. Logik Grundlagen Math. 29, 485-492 (1983). MSC: 03D65 03E60 × Cite Format Result Cite Review PDF Full Text: DOI
Segerberg, Krister Arbitrary truth-value functions and natural deduction. (English) Zbl 0549.03007 Z. Math. Logik Grundlagen Math. 29, 557-564 (1983). Reviewer: D.Lucanu MSC: 03B05 × Cite Format Result Cite Review PDF Full Text: DOI
Ellentuck, Erik Random isols. (English) Zbl 0546.03029 Z. Math. Logik Grundlagen Math. 29, 1-6 (1983). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Forrest, Williams Kramer The theory of affine constructible sets. (English) Zbl 0543.14001 Z. Math. Logik Grundlagen Math. 29, 97-135 (1983). Reviewer: L.Bădescu MSC: 14A05 03C65 14A20 14A10 × Cite Format Result Cite Review PDF Full Text: DOI
Büchi, J. Richard; Zaiontz, Charles Deterministic automata and the monadic theory of ordinals \(<\omega_ 2\). (English) Zbl 0541.03004 Z. Math. Logik Grundlagen Math. 29, 313-336 (1983). Reviewer: M.Tetruashvili MSC: 03B25 03D05 × Cite Format Result Cite Review PDF Full Text: DOI
Büchi, J. Richard; Siefkes, Dirk The complete extensions of the monadic second order theory of countable ordinals. (English) Zbl 0541.03003 Z. Math. Logik Grundlagen Math. 29, 289-312 (1983). Reviewer: M.Tetruashvili MSC: 03B25 03C85 × Cite Format Result Cite Review PDF Full Text: DOI
Parigot, Michel Le modèle compagnon de la théorie des arbres. (English) Zbl 0539.03013 Z. Math. Logik Grundlagen Math. 29, 137-150 (1983). Reviewer: G.Fuhrken MSC: 03C60 06A06 × Cite Format Result Cite Review PDF Full Text: DOI
Rose, Alan Completeness of sets of three-valued Sheffer functions. (English) Zbl 0539.03005 Z. Math. Logik Grundlagen Math. 29, 481-483 (1983). Reviewer: A.Hoogewijs MSC: 03B50 × Cite Format Result Cite Review PDF Full Text: DOI
Benecke, Klaus Spezifikation parametrisierter Datentypen. (English) Zbl 0538.68011 Z. Math. Logik Grundlagen Math. 29, 83-96 (1983). Reviewer: R.Nabert MSC: 68P05 03G99 × Cite Format Result Cite Review PDF Full Text: DOI
Szabo, M. E. The continuous realizability of entailment. (English) Zbl 0538.03019 Z. Math. Logik Grundlagen Math. 29, 219-233 (1983). Reviewer: L.F.Goble MSC: 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Hatcher, William S.; Laflamme, Claude On the order structure of the hyperreal line. (English) Zbl 0537.03050 Z. Math. Logik Grundlagen Math. 29, 197-202 (1983). Reviewer: K.Čuda MSC: 03H05 26E35 × Cite Format Result Cite Review PDF Full Text: DOI
Iturrioz, Luisa Symmetrical Heyting algebras with operators. (English) Zbl 0537.03049 Z. Math. Logik Grundlagen Math. 29, 33-70 (1983). Reviewer: V.Meskhi MSC: 03G25 03G20 08B30 × Cite Format Result Cite Review PDF Full Text: DOI
Hauck, Jürgen Konstruktive reelle Funktionale und Operatoren. (English) Zbl 0537.03041 Z. Math. Logik Grundlagen Math. 29, 213-218 (1983). Reviewer: B.van Rootselaar MSC: 03F60 × Cite Format Result Cite Review PDF Full Text: DOI
Lopez, Gérard Reconstruction d’une S-expansion. (English) Zbl 0536.04004 Z. Math. Logik Grundlagen Math. 29, 11-24 (1983). Reviewer: E.Harzheim MSC: 03E20 05C60 × Cite Format Result Cite Review PDF Full Text: DOI
Schweigert, Dietmar; Szymańska, Magdalena A completeness theorem for correlation lattices. (English) Zbl 0536.03041 Z. Math. Logik Grundlagen Math. 29, 427-443 (1983). Reviewer: M.Abad MSC: 03G10 06C15 08A50 × Cite Format Result Cite Review PDF Full Text: DOI
Rothmaler, Philipp Stationary types in modules. (English) Zbl 0535.03011 Z. Math. Logik Grundlagen Math. 29, 445-464 (1983). Reviewer: A.Pillay MSC: 03C60 03C40 03C45 × Cite Format Result Cite Review PDF Full Text: DOI
Kühnrich, Martin Eine äquivalente Formalisierung der Logik von Feferman und Aczel. (German) Zbl 0534.03027 Z. Math. Logik Grundlagen Math. 29, 565-568 (1983). Reviewer: M.W.Bunder MSC: 03E70 03B60 × Cite Format Result Cite Review PDF Full Text: DOI
Hickman, John L. An ordinal version of the fundamental law of algebra. (English) Zbl 0531.04006 Z. Math. Logik Grundlagen Math. 29, 71-74 (1983). Reviewer: F.R.Drake MSC: 03E10 × Cite Format Result Cite Review PDF Full Text: DOI
Dahn, Bernd I.; Wolter, Helmut On the theory of exponential fields. (English) Zbl 0531.03017 Z. Math. Logik Grundlagen Math. 29, 465-480 (1983). Reviewer: S.A.Basarab MSC: 03C60 12L05 12D99 × Cite Format Result Cite Review PDF Full Text: DOI
Normann, Dag General type-structures of continuous and countable functionals. (English) Zbl 0529.03022 Z. Math. Logik Grundlagen Math. 29, 177-192 (1983). MSC: 03D55 03D60 03D75 × Cite Format Result Cite Review PDF Full Text: DOI
Becker, Thomas Real closed rings and ordered valuation rings. (English) Zbl 0528.03019 Z. Math. Logik Grundlagen Math. 29, 417-425 (1983). MSC: 03C60 × Cite Format Result Cite Review PDF Full Text: DOI
Gorgy, F. W.; Sahyoun, A. H. Mutual transformability of the formulas of the languages of Markov \(L_\omega N\) and \(Ya_ N1\). (English) Zbl 0527.03039 Z. Math. Logik Grundlagen Math. 29, 207-212 (1983). MSC: 03F65 × Cite Format Result Cite Review PDF Full Text: DOI
Gorgy, Ford W.; Sahyoun, A. H. Transformability of the formulas of the languages of Markov \(L_ N\), \(L_\omega\) into formulas of the language \(Ya_ 2\). (English) Zbl 0527.03038 Z. Math. Logik Grundlagen Math. 29, 203-206 (1983). MSC: 03F65 × Cite Format Result Cite Review PDF Full Text: DOI
Brunner, Norbert Kategoriesaetze und multiples Auswahlaxiom. (German) Zbl 0526.03031 Z. Math. Logik Grundlagen Math. 29, 435-443 (1983). MSC: 03E25 54E52 54A35 × Cite Format Result Cite Review PDF Full Text: DOI
Downey, Rod On a question of A. Retzlaff. (English) Zbl 0526.03028 Z. Math. Logik Grundlagen Math. 29, 379-384 (1983). MSC: 03D45 × Cite Format Result Cite Review PDF Full Text: DOI
Adamson, Alan A note on two-cardinal models. (English) Zbl 0526.03020 Z. Math. Logik Grundlagen Math. 29, 193-196 (1983). MSC: 03C68 03C13 × Cite Format Result Cite Review PDF Full Text: DOI EuDML
Alkor, C.; Intrigila, B. Baire category on cardinals. (English) Zbl 0522.03038 Z. Math. Logik Grundlagen Math. 29, 245-252 (1983). MSC: 03E55 54E52 × Cite Format Result Cite Review PDF Full Text: DOI
Grayson, Robin J. On closed subsets of the intuitionistic reals. (English) Zbl 0521.03045 Z. Math. Logik Grundlagen Math. 29, 7-9 (1983). MSC: 03F55 × Cite Format Result Cite Review PDF Full Text: DOI
Valentini, S.; Solitro, U. The modal logic of consistency assertions of Peano arithmetic. (English) Zbl 0521.03010 Z. Math. Logik Grundlagen Math. 29, 25-32 (1983). MSC: 03B45 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Hoogewijs, Albert A partial predicate calculus in a two-valued logic. (English) Zbl 0521.03006 Z. Math. Logik Grundlagen Math. 29, 239-243 (1983). MSC: 03B20 × Cite Format Result Cite Review PDF Full Text: DOI
Mijajlovic, Zarko; Harizanov, Valentina Regular relations and the quantifier ”there exist uncountably many”. (English) Zbl 0519.03029 Z. Math. Logik Grundlagen Math. 29, 151-161 (1983). MSC: 03C80 × Cite Format Result Cite Review PDF Full Text: DOI
Montagna, Franco ZFC-models as Kripke-models. (English) Zbl 0519.03013 Z. Math. Logik Grundlagen Math. 29, 163-168 (1983). MSC: 03B45 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
von Rimscha, Michael Hierarchies for non-founded models of set theory. (English) Zbl 0518.03019 Z. Math. Logik Grundlagen Math. 29, 253-288 (1983). MSC: 03E30 03E35 × Cite Format Result Cite Review PDF Full Text: DOI
Armbrust, Manfred Equivalence relations versus unary operations. (English) Zbl 0509.08002 Z. Math. Logik Grundlagen Math. 29, 569-571 (1983). MSC: 08A30 08A60 06B15 03C40 × Cite Format Result Cite Review PDF Full Text: DOI
Jones, John Implication and iterated implication. (English) Zbl 0508.03011 Z. Math. Logik Grundlagen Math. 29, 542-556 (1983). MSC: 03B50 × Cite Format Result Cite Review PDF