Csirmaz, Laszlo Strong semantical characterization for nondeterministic programs. (English) Zbl 0663.68017 Z. Math. Logik Grundlagen Math. 33, 407-416 (1987). Reviewer: J.-J.Ch.Meyer MSC: 68Q60 03B70 PDF BibTeX XML Cite \textit{L. Csirmaz}, Z. Math. Logik Grundlagen Math. 33, 407--416 (1987; Zbl 0663.68017) Full Text: DOI
Montagna, Franco Iterated extensional Rosser’s fixed points and hyperhyperdiagonalizable algebras. (English) Zbl 0662.03059 Z. Math. Logik Grundlagen Math. 33, 293-303 (1987). Reviewer: A.Ursini MSC: 03G25 03F30 PDF BibTeX XML Cite \textit{F. Montagna}, Z. Math. Logik Grundlagen Math. 33, 293--303 (1987; Zbl 0662.03059) Full Text: DOI
de Rougemont, Michel Second-order and inductive definability on finite structures. (English) Zbl 0652.03032 Z. Math. Logik Grundlagen Math. 33, 47-63 (1987). Reviewer: Ph.W.Grant MSC: 03D70 05C40 05C45 PDF BibTeX XML Cite \textit{M. de Rougemont}, Z. Math. Logik Grundlagen Math. 33, 47--63 (1987; Zbl 0652.03032) Full Text: DOI
Orlicki, Andrzej Constructive and locally constructive endofunctors on the category of enumerated sets. (English) Zbl 0648.03040 Z. Math. Logik Grundlagen Math. 33, 371-384 (1987). Reviewer: P.L.Ferrari MSC: 03F65 03D25 18B99 PDF BibTeX XML Cite \textit{A. Orlicki}, Z. Math. Logik Grundlagen Math. 33, 371--384 (1987; Zbl 0648.03040) Full Text: DOI
Yasuda, Yutaka Some properties of thin \(\Pi ^ 1_{2n+1}\) sets. (English) Zbl 0648.03035 Z. Math. Logik Grundlagen Math. 33, 199-200 (1987). MSC: 03E15 PDF BibTeX XML Cite \textit{Y. Yasuda}, Z. Math. Logik Grundlagen Math. 33, 199--200 (1987; Zbl 0648.03035) Full Text: DOI
Gorgy, F. W.; Sahyoun, A. H. Mutual transformability of the formulas of the languages of Markov \(L_{2\omega}\) and \(\text{Russian{Ya}}_{\omega}\). (English) Zbl 0647.03053 Z. Math. Logik Grundlagen Math. 33, 123-126 (1987). MSC: 03F65 PDF BibTeX XML Cite \textit{F. W. Gorgy} and \textit{A. H. Sahyoun}, Z. Math. Logik Grundlagen Math. 33, 123--126 (1987; Zbl 0647.03053) Full Text: DOI
Thuraisingham, M. B. Reducibility relationships between decision problems for system functions. (English) Zbl 0647.03036 Z. Math. Logik Grundlagen Math. 33, 305-312 (1987). MSC: 03D30 03B25 PDF BibTeX XML Cite \textit{M. B. Thuraisingham}, Z. Math. Logik Grundlagen Math. 33, 305--312 (1987; Zbl 0647.03036) Full Text: DOI
Cooper, S. Barry Enumeration reducibility using bounded information: counting minimal covers. (English) Zbl 0646.03037 Z. Math. Logik Grundlagen Math. 33, No. 6, 537-560 (1987). Reviewer: Moh Shawkwei MSC: 03D30 PDF BibTeX XML Cite \textit{S. B. Cooper}, Z. Math. Logik Grundlagen Math. 33, 537--560 (1987; Zbl 0646.03037) Full Text: DOI
Orlicki, Andrzej On constructively non-morphisms of enumerated sets and constructive non- reducibility of enumerations. (English) Zbl 0645.03044 Z. Math. Logik Grundlagen Math. 33, No. 6, 485-496 (1987). Reviewer: F.Montagna MSC: 03D45 PDF BibTeX XML Cite \textit{A. Orlicki}, Z. Math. Logik Grundlagen Math. 33, 485--496 (1987; Zbl 0645.03044) Full Text: DOI
Minari, Pierluigi A note on a subsystem of intuitionistic logic with constant domains. (English) Zbl 0645.03005 Z. Math. Logik Grundlagen Math. 33, 385-387 (1987). Reviewer: S.Miura MSC: 03B20 03B55 PDF BibTeX XML Cite \textit{P. Minari}, Z. Math. Logik Grundlagen Math. 33, 385--387 (1987; Zbl 0645.03005) Full Text: DOI
Corsi, Giovanna Weak logics with strict implication. (English) Zbl 0645.03004 Z. Math. Logik Grundlagen Math. 33, 389-406 (1987). Reviewer: S.Miura MSC: 03B20 PDF BibTeX XML Cite \textit{G. Corsi}, Z. Math. Logik Grundlagen Math. 33, 389--406 (1987; Zbl 0645.03004) Full Text: DOI
Krajíček, Jan A possible modal formulation of comprehension scheme. (English) Zbl 0644.03027 Z. Math. Logik Grundlagen Math. 33, 461-480 (1987). Reviewer: P.Štěpánek MSC: 03E70 03B45 PDF BibTeX XML Cite \textit{J. Krajíček}, Z. Math. Logik Grundlagen Math. 33, 461--480 (1987; Zbl 0644.03027) Full Text: DOI
Furs, S. N. Syllogistics of some theories. (English) Zbl 0643.03044 Z. Math. Logik Grundlagen Math. 33, 31-42 (1987). Reviewer: J.B.Bacon MSC: 03G15 03G05 PDF BibTeX XML Cite \textit{S. N. Furs}, Z. Math. Logik Grundlagen Math. 33, 31--42 (1987; Zbl 0643.03044) Full Text: DOI
Rose, Alan A formalisation, using non-standard rules, of a 5-valued propositional calculus. (English) Zbl 0643.03017 Z. Math. Logik Grundlagen Math. 33, 187-192 (1987). Reviewer: L.F.Goble MSC: 03B50 PDF BibTeX XML Cite \textit{A. Rose}, Z. Math. Logik Grundlagen Math. 33, 187--192 (1987; Zbl 0643.03017) Full Text: DOI
Riscos, Agustin; Laita, Luis M. N-categories in logic. (English) Zbl 0641.03042 Z. Math. Logik Grundlagen Math. 33, No. 6, 507-516 (1987). Reviewer: K.I.Rosenthal MSC: 03G30 03G15 18A15 PDF BibTeX XML Cite \textit{A. Riscos} and \textit{L. M. Laita}, Z. Math. Logik Grundlagen Math. 33, 507--516 (1987; Zbl 0641.03042) Full Text: DOI
Levitz, Hilbert; Nichols, Warren Eine rekursive universelle Funktion für die primitiv-rekursiven Funktionen. The Lefschetz type theorem for a class of noncompact mappings. (German) Zbl 0641.03028 Z. Math. Logik Grundlagen Math. 33, No. 6, 527-535 (1987). Reviewer: M.Zimand MSC: 03D20 PDF BibTeX XML Cite \textit{H. Levitz} and \textit{W. Nichols}, Z. Math. Logik Grundlagen Math. 33, 527--535 (1987; Zbl 0641.03028) Full Text: DOI
Brunner, Norbert Topologische Maximalprinzipien. (Topological maximum principles). (German) Zbl 0639.49006 Z. Math. Logik Grundlagen Math. 33, 135-139 (1987). Reviewer: N.Brunner MSC: 49J27 03E25 54H25 PDF BibTeX XML Cite \textit{N. Brunner}, Z. Math. Logik Grundlagen Math. 33, 135--139 (1987; Zbl 0639.49006) Full Text: DOI
Babai, L.; Turán, Gy. The complexity of defining a relation on a finite graph. (English) Zbl 0638.03043 Z. Math. Logik Grundlagen Math. 33, 277-288 (1987). Reviewer: A.Brandstädt MSC: 03D80 05C99 PDF BibTeX XML Cite \textit{L. Babai} and \textit{Gy. Turán}, Z. Math. Logik Grundlagen Math. 33, 277--288 (1987; Zbl 0638.03043) Full Text: DOI
Denecke, Klaus Squares of primal algebras. (English) Zbl 0637.08001 Z. Math. Logik Grundlagen Math. 33, 69-77 (1987). Reviewer: H.Werner MSC: 08A40 08B10 08B25 PDF BibTeX XML Cite \textit{K. Denecke}, Z. Math. Logik Grundlagen Math. 33, 69--77 (1987; Zbl 0637.08001) Full Text: DOI
Downey, R. G.; Remmel, J. B. Automorphisms and recursive structures. (English) Zbl 0636.03040 Z. Math. Logik Grundlagen Math. 33, 339-345 (1987). Reviewer: C.Calude MSC: 03D45 03C57 PDF BibTeX XML Cite \textit{R. G. Downey} and \textit{J. B. Remmel}, Z. Math. Logik Grundlagen Math. 33, 339--345 (1987; Zbl 0636.03040) Full Text: DOI
Kanda, Akira; Lachlan, Alistair H. Alternative characterizations of precomplete numerations. (English) Zbl 0636.03039 Z. Math. Logik Grundlagen Math. 33, 97-100 (1987). Reviewer: R.Downey MSC: 03D45 PDF BibTeX XML Cite \textit{A. Kanda} and \textit{A. H. Lachlan}, Z. Math. Logik Grundlagen Math. 33, 97--100 (1987; Zbl 0636.03039) Full Text: DOI
Chong, C. T. \(\Sigma_1\)-density and Turing degrees. (English) Zbl 0636.03038 Z. Math. Logik Grundlagen Math. 33, 141-145 (1987). Reviewer: L.Harkleroad MSC: 03D30 PDF BibTeX XML Cite \textit{C. T. Chong}, Z. Math. Logik Grundlagen Math. 33, 141--145 (1987; Zbl 0636.03038) Full Text: DOI
Diener, Karl-Heinz Simple proofs of unique decomposability of expressions of finite and infinite languages. (Einfache Beweise für die eindeutige Zerlegbarkeit von Ausdrücken endlicher und unendlicher Sprachen.) (German) Zbl 0635.08003 Z. Math. Logik Grundlagen Math. 33, 211-234 (1987). Reviewer: Ralph P. Boas (Seattle) MSC: 08A99 08A55 08A65 PDF BibTeX XML Cite \textit{K.-H. Diener}, Z. Math. Logik Grundlagen Math. 33, 211--234 (1987; Zbl 0635.08003) Full Text: DOI
Quandt, Juergen Relative consistency of a set theory with hyperclasses. (English) Zbl 0635.03046 Z. Math. Logik Grundlagen Math. 33, 101-106 (1987). Reviewer: K.Gloede MSC: 03E35 03E30 03E70 PDF BibTeX XML Cite \textit{J. Quandt}, Z. Math. Logik Grundlagen Math. 33, 101--106 (1987; Zbl 0635.03046) Full Text: DOI
Muthuvel, Kandasamy Some results related to Patai’s theorem. (English) Zbl 0635.03043 Z. Math. Logik Grundlagen Math. 33, No. 6, 561-563 (1987). Reviewer: R.David MSC: 03E10 03E50 PDF BibTeX XML Cite \textit{K. Muthuvel}, Z. Math. Logik Grundlagen Math. 33, 561--563 (1987; Zbl 0635.03043) Full Text: DOI
Krynicki, Michał On some applications of games for Härtig quantifier. (English) Zbl 0635.03031 Z. Math. Logik Grundlagen Math. 33, 359-370 (1987). Reviewer: D.Mundici MSC: 03C80 03C95 PDF BibTeX XML Cite \textit{M. Krynicki}, Z. Math. Logik Grundlagen Math. 33, 359--370 (1987; Zbl 0635.03031) Full Text: DOI
Stahl, Gerold Parallel theories and routine revision in first-order logic. (English) Zbl 0635.03005 Z. Math. Logik Grundlagen Math. 33, 457-459 (1987). Reviewer: D.Makinson MSC: 03B10 PDF BibTeX XML Cite \textit{G. Stahl}, Z. Math. Logik Grundlagen Math. 33, 457--459 (1987; Zbl 0635.03005) Full Text: DOI
Forster, T. E. Permutation models in the sense of Rieger-Bernays. (English) Zbl 0634.03052 Z. Math. Logik Grundlagen Math. 33, 201-210 (1987). Reviewer: J.M.Plotkin MSC: 03E70 03B45 03E99 03C62 PDF BibTeX XML Cite \textit{T. E. Forster}, Z. Math. Logik Grundlagen Math. 33, 201--210 (1987; Zbl 0634.03052) Full Text: DOI
Sankappanavar, Hanamantagouda P. Heyting algebras with a dual lattice endomorphism. (English) Zbl 0633.06005 Z. Math. Logik Grundlagen Math. 33, No. 6, 565-573 (1987). Reviewer: M.Abad MSC: 06D20 06D30 03G10 08B15 06B10 PDF BibTeX XML Cite \textit{H. P. Sankappanavar}, Z. Math. Logik Grundlagen Math. 33, 565--573 (1987; Zbl 0633.06005) Full Text: DOI
Pinus, A. G. On least linear extensions of partial orders. (Russian) Zbl 0633.06001 Z. Math. Logik Grundlagen Math. 33, No. 6, 517-525 (1987). Reviewer: V.Novák MSC: 06A06 PDF BibTeX XML Cite \textit{A. G. Pinus}, Z. Math. Logik Grundlagen Math. 33, 517--525 (1987; Zbl 0633.06001) Full Text: DOI
Rose, Alan A strongly complete formalisation of a 5-valued propositional calculus. (English) Zbl 0633.03011 Z. Math. Logik Grundlagen Math. 33, 243-244 (1987). Reviewer: I.D’Ottaviano MSC: 03B50 PDF BibTeX XML Cite \textit{A. Rose}, Z. Math. Logik Grundlagen Math. 33, 243--244 (1987; Zbl 0633.03011) Full Text: DOI
Piołunowicz, Adam On the shadows of ideals. (English) Zbl 0629.03026 Z. Math. Logik Grundlagen Math. 33, 193-197 (1987). Reviewer: J.M.Plotkin MSC: 03E05 PDF BibTeX XML Cite \textit{A. Piołunowicz}, Z. Math. Logik Grundlagen Math. 33, 193--197 (1987; Zbl 0629.03026) Full Text: DOI
Hauck, Jürgen Eine berechenbare Funktion mit rationalen Werten, die nicht rekursiv ist. (German) Zbl 0628.03023 Z. Math. Logik Grundlagen Math. 33, 255-256 (1987). Reviewer: N.Both MSC: 03D10 03D20 03D60 PDF BibTeX XML Cite \textit{J. Hauck}, Z. Math. Logik Grundlagen Math. 33, 255--256 (1987; Zbl 0628.03023) Full Text: DOI
Minari, Pierluigi Quasilinear posets and some subsystems of Dummett’s LC. (English) Zbl 0627.03009 Z. Math. Logik Grundlagen Math. 33, 257-266 (1987). Reviewer: B.R.Boričić MSC: 03B55 PDF BibTeX XML Cite \textit{P. Minari}, Z. Math. Logik Grundlagen Math. 33, 257--266 (1987; Zbl 0627.03009) Full Text: DOI
Lachlan, A. H. A note on positive equivalence relations. (English) Zbl 0625.03021 Z. Math. Logik Grundlagen Math. 33, 43-46 (1987). Reviewer: C.Calude MSC: 03D25 PDF BibTeX XML Cite \textit{A. H. Lachlan}, Z. Math. Logik Grundlagen Math. 33, 43--46 (1987; Zbl 0625.03021) Full Text: DOI
Sankappanavar, Hanamantagouda P. Principal congruences of pseudocomplemented DeMorgan algebras. (English) Zbl 0624.06016 Z. Math. Logik Grundlagen Math. 33, 3-11 (1987). Reviewer: I.Düntsch MSC: 06D30 06B10 06B20 PDF BibTeX XML Cite \textit{H. P. Sankappanavar}, Z. Math. Logik Grundlagen Math. 33, 3--11 (1987; Zbl 0624.06016) Full Text: DOI
Schwartz, Daniel G. A free-variable theory of primitive recursive arithmetic. (English) Zbl 0624.03042 Z. Math. Logik Grundlagen Math. 33, 147-157 (1987). MSC: 03F30 PDF BibTeX XML Cite \textit{D. G. Schwartz}, Z. Math. Logik Grundlagen Math. 33, 147--157 (1987; Zbl 0624.03042) Full Text: DOI
Gehrke, Mai; Kaiser, Klaus On the maximality of some conormal extensions of a lattice. (English) Zbl 0623.06004 Z. Math. Logik Grundlagen Math. 33, 13-18 (1987). MSC: 06D05 06E15 54D10 06B10 PDF BibTeX XML Cite \textit{M. Gehrke} and \textit{K. Kaiser}, Z. Math. Logik Grundlagen Math. 33, 13--18 (1987; Zbl 0623.06004) Full Text: DOI
Schwartz, Daniel G. Semantic completeness of free-variable theories. (English) Zbl 0618.03028 Z. Math. Logik Grundlagen Math. 33, 441-452 (1987). MSC: 03F30 PDF BibTeX XML Cite \textit{D. G. Schwartz}, Z. Math. Logik Grundlagen Math. 33, 441--452 (1987; Zbl 0618.03028) Full Text: DOI
Schwartz, Daniel G. On the equivalence between logic-free and logic-bearing systems of primitive recursive arithmetic. (English) Zbl 0618.03027 Z. Math. Logik Grundlagen Math. 33, 245-253 (1987). MSC: 03F30 PDF BibTeX XML Cite \textit{D. G. Schwartz}, Z. Math. Logik Grundlagen Math. 33, 245--253 (1987; Zbl 0618.03027) Full Text: DOI
Riscos, Agustin; Laita, Luis M. N-categories in logic. (English) Zbl 0613.03030 Z. Math. Logik Grundlagen Math. 33, No. 6, 507-516 (1987). MSC: 03G99 18A15 PDF BibTeX XML Cite \textit{A. Riscos} and \textit{L. M. Laita}, Z. Math. Logik Grundlagen Math. 33, 507--516 (1987; Zbl 0613.03030) Full Text: DOI
Garro, Ibrahim Nonstandard models for a fragment of the artihmetic and their decision problem. (English) Zbl 0613.03014 Z. Math. Logik Grundlagen Math. 33, 481-483 (1987). MSC: 03C62 03H15 03F30 PDF BibTeX XML Cite \textit{I. Garro}, Z. Math. Logik Grundlagen Math. 33, 481--483 (1987; Zbl 0613.03014) Full Text: DOI
Margarit, Alejandro Fernández; Laita, Luis M. Abraham Robinson’s meta-algebra revisited. (English) Zbl 0613.03012 Z. Math. Logik Grundlagen Math. 33, No. 6, 497-505 (1987). Reviewer: G.Fuhrken MSC: 03C60 03C20 PDF BibTeX XML Cite \textit{A. F. Margarit} and \textit{L. M. Laita}, Z. Math. Logik Grundlagen Math. 33, 497--505 (1987; Zbl 0613.03012) Full Text: DOI
Došen, Kosta A note on Gentzen’s decision procedure for intuitionistic propositional logic. (English) Zbl 0612.03010 Z. Math. Logik Grundlagen Math. 33, 453-456 (1987). MSC: 03B25 03F07 PDF BibTeX XML Cite \textit{K. Došen}, Z. Math. Logik Grundlagen Math. 33, 453--456 (1987; Zbl 0612.03010) Full Text: DOI
Solomon, Martin K. A connection between Blum speedable sets and Gödel’s speed-up theorem. (English) Zbl 0611.03026 Z. Math. Logik Grundlagen Math. 33, 417-421 (1987). MSC: 03F20 03D25 PDF BibTeX XML Cite \textit{M. K. Solomon}, Z. Math. Logik Grundlagen Math. 33, 417--421 (1987; Zbl 0611.03026) Full Text: DOI
Kawai, Hiroya Sequential calculus for a first order infinitary temporal logic. (English) Zbl 0611.03010 Z. Math. Logik Grundlagen Math. 33, 423-432 (1987). MSC: 03B70 03F05 PDF BibTeX XML Cite \textit{H. Kawai}, Z. Math. Logik Grundlagen Math. 33, 423--432 (1987; Zbl 0611.03010) Full Text: DOI
Giambrone, S.; Urquhart, A. Proof theories for semilattice logics. (English) Zbl 0611.03005 Z. Math. Logik Grundlagen Math. 33, 433-439 (1987). MSC: 03B45 PDF BibTeX XML Cite \textit{S. Giambrone} and \textit{A. Urquhart}, Z. Math. Logik Grundlagen Math. 33, 433--439 (1987; Zbl 0611.03005) Full Text: DOI
Monro, G. P. The concept of multiset. (English) Zbl 0609.04008 Z. Math. Logik Grundlagen Math. 33, 171-178 (1987). MSC: 03E99 18B05 68T99 PDF BibTeX XML Cite \textit{G. P. Monro}, Z. Math. Logik Grundlagen Math. 33, 171--178 (1987; Zbl 0609.04008) Full Text: DOI
Howard, Paul E. The existence of level sets in a free group implies the axiom of choice. (English) Zbl 0609.04007 Z. Math. Logik Grundlagen Math. 33, 315-316 (1987). MSC: 03E25 20E05 PDF BibTeX XML Cite \textit{P. E. Howard}, Z. Math. Logik Grundlagen Math. 33, 315--316 (1987; Zbl 0609.04007) Full Text: DOI
Tsuboi, Akito Categoricity and non-orthogonality of types. (English) Zbl 0609.03013 Z. Math. Logik Grundlagen Math. 33, 335-338 (1987). MSC: 03C45 03C35 PDF BibTeX XML Cite \textit{A. Tsuboi}, Z. Math. Logik Grundlagen Math. 33, 335--338 (1987; Zbl 0609.03013) Full Text: DOI
Deutsch, Michael Eine Verschärfung eines Satzes von Kostyrko zur Reduktionstheorie mit einer Anwendung auf die spektrale Darstellung von Prädikaten. (German) Zbl 0609.03001 Z. Math. Logik Grundlagen Math. 33, 347-358 (1987). MSC: 03B25 03B10 PDF BibTeX XML Cite \textit{M. Deutsch}, Z. Math. Logik Grundlagen Math. 33, 347--358 (1987; Zbl 0609.03001) Full Text: DOI
Just, Winfried; Mijajlović, Žarko Separation properties of ideals over \(\omega\). (English) Zbl 0608.06012 Z. Math. Logik Grundlagen Math. 33, 267-276 (1987). MSC: 06E10 06B10 03C50 PDF BibTeX XML Cite \textit{W. Just} and \textit{Ž. Mijajlović}, Z. Math. Logik Grundlagen Math. 33, 267--276 (1987; Zbl 0608.06012) Full Text: DOI
Burris, Stanley The model completion of the class of L-structures. (English) Zbl 0608.03011 Z. Math. Logik Grundlagen Math. 33, 313-314 (1987). MSC: 03C52 03B25 PDF BibTeX XML Cite \textit{S. Burris}, Z. Math. Logik Grundlagen Math. 33, 313--314 (1987; Zbl 0608.03011) Full Text: DOI
Deutsch, Michael Eine Bemerkung zum Reduktionstyp \(\forall ^ 3\exists ^{\infty}(0,1)\). (German) Zbl 0608.03003 Z. Math. Logik Grundlagen Math. 33, 179-186 (1987). MSC: 03B25 PDF BibTeX XML Cite \textit{M. Deutsch}, Z. Math. Logik Grundlagen Math. 33, 179--186 (1987; Zbl 0608.03003) Full Text: DOI
Manders, Kenneth L. On algebraic geometry over rings with exponentiation. (English) Zbl 0607.14001 Z. Math. Logik Grundlagen Math. 33, 289-292 (1987). MSC: 14A05 13B99 13L05 PDF BibTeX XML Cite \textit{K. L. Manders}, Z. Math. Logik Grundlagen Math. 33, 289--292 (1987; Zbl 0607.14001) Full Text: DOI
Verdú, Ventura Logics projectively generated from \([M]=(F_ 4,[\{1\}])\) by a set of homomorphisms. (English) Zbl 0607.03020 Z. Math. Logik Grundlagen Math. 33, 235-241 (1987). MSC: 03G99 PDF BibTeX XML Cite \textit{V. Verdú}, Z. Math. Logik Grundlagen Math. 33, 235--241 (1987; Zbl 0607.03020) Full Text: DOI
Ono, Hiroakira Reflection principles in fragments of Peano arithmetic. (English) Zbl 0607.03017 Z. Math. Logik Grundlagen Math. 33, 317-333 (1987). MSC: 03F30 PDF BibTeX XML Cite \textit{H. Ono}, Z. Math. Logik Grundlagen Math. 33, 317--333 (1987; Zbl 0607.03017) Full Text: DOI
Zahn, Peter A predicative approach to nonstandard mathematics. (English) Zbl 0602.03016 Z. Math. Logik Grundlagen Math. 33, 85-96 (1987). MSC: 03F99 03H99 PDF BibTeX XML Cite \textit{P. Zahn}, Z. Math. Logik Grundlagen Math. 33, 85--96 (1987; Zbl 0602.03016) Full Text: DOI
Demetrovics, J.; Hannák, L. Construction of large sets of clones. (English) Zbl 0601.08003 Z. Math. Logik Grundlagen Math. 33, 127-133 (1987). MSC: 08A40 06B15 PDF BibTeX XML Cite \textit{J. Demetrovics} and \textit{L. Hannák}, Z. Math. Logik Grundlagen Math. 33, 127--133 (1987; Zbl 0601.08003) Full Text: DOI
Kutyłowski, M.; Lorys, Krzysztof A note on ”\({\mathcal E}^ 0_*={\mathcal E}^ 2_*\)” problem. (English) Zbl 0598.03035 Z. Math. Logik Grundlagen Math. 33, 115-121 (1987). MSC: 03D20 PDF BibTeX XML Cite \textit{M. Kutyłowski} and \textit{K. Lorys}, Z. Math. Logik Grundlagen Math. 33, 115--121 (1987; Zbl 0598.03035) Full Text: DOI
Lindström, Ingrid Degrees of Souslin and Aronszajn trees. (English) Zbl 0597.03029 Z. Math. Logik Grundlagen Math. 33, 159-170 (1987). MSC: 03E05 PDF BibTeX XML Cite \textit{I. Lindström}, Z. Math. Logik Grundlagen Math. 33, 159--170 (1987; Zbl 0597.03029) Full Text: DOI
Biacino, Loredana; Gerla, Giangiacomo Recursively enumerable L-sets. (English) Zbl 0597.03026 Z. Math. Logik Grundlagen Math. 33, 107-113 (1987). MSC: 03D25 03E72 03B52 03B25 PDF BibTeX XML Cite \textit{L. Biacino} and \textit{G. Gerla}, Z. Math. Logik Grundlagen Math. 33, 107--113 (1987; Zbl 0597.03026) Full Text: DOI
Huang, Wenqi; Lai, Chusheng; Chen, Zhixiang The hardness of the grid problem \(G_ i\) under the routine resolution method. (English) Zbl 0592.68038 Z. Math. Logik Grundlagen Math. 33, 79-84 (1987). MSC: 68Q25 68T15 PDF BibTeX XML Cite \textit{W. Huang} et al., Z. Math. Logik Grundlagen Math. 33, 79--84 (1987; Zbl 0592.68038) Full Text: DOI
Dywan, Zdzisław On a method of axiomatization of some propositional calculi. (English) Zbl 0591.03014 Z. Math. Logik Grundlagen Math. 33, 65-68 (1987). MSC: 03B99 03B50 03B45 03B55 PDF BibTeX XML Cite \textit{Z. Dywan}, Z. Math. Logik Grundlagen Math. 33, 65--68 (1987; Zbl 0591.03014) Full Text: DOI
Carnielli, Walter Alexandre The problem of quantificational completeness and the characterization of all perfect quantifiers in 3-valued logics. (English) Zbl 0591.03010 Z. Math. Logik Grundlagen Math. 33, 19-29 (1987). MSC: 03B50 PDF BibTeX XML Cite \textit{W. A. Carnielli}, Z. Math. Logik Grundlagen Math. 33, 19--29 (1987; Zbl 0591.03010) Full Text: DOI