Petrosyan, L. A. Differential pursuit games. (Differentsial’nye igry preslodovaniya). (Russian) Zbl 0457.90087 Leningradskij Ordena Lenina i Ordena Trudovogo Krasnogo Znameni Gosudarstvennyj Universitet im. A. A. Zhdanova. Leningrad: Izdatel’stvo Leningradskogo Universiteta. 222 p. R. 0.89 (1977). MSC: 91A24 91A23 90-02 93C55 93C99 93C15 93D05 93D15 49K15 PDFBibTeX XML
van Emden, M. H. Relational equations, grammars, and programs. (English) Zbl 0426.68005 Proc. Conf. theoretical computer science, Waterloo/Ontario 1977, 191-201 (1977). MSC: 68Q65 03B10 68Q60 68Q45 PDFBibTeX XML
Furasov, V. D.; Afanas’ev, V. N.; Klimentov, S. I.; Markov, V. N.; Nechaev, A. M. Synthesis of selfadjusting regulators and Lyapunov vector functions. (Russian) Zbl 0425.93018 Probl. Control Inf. Theory 6, 273-285 (1977). MSC: 93C40 93C99 93C05 93D05 93C15 93D15 PDFBibTeX XMLCite \textit{V. D. Furasov} et al., Probl. Control Inf. Theory 6, 273--285 (1977; Zbl 0425.93018)
Britov, G. S.; Petrovskij, A. B. Dynamic model of inventory control. (English. Russian original) Zbl 0423.93010 Autom. Remote Control 38, 446-449 (1977); translation from Avtom. Telemekh. 1977, No. 3, 174-177 (1977). MSC: 93B05 93C05 93C15 90B05 93B07 93B30 93D05 PDFBibTeX XMLCite \textit{G. S. Britov} and \textit{A. B. Petrovskij}, Autom. Remote Control 38, 446--449 (1977; Zbl 0423.93010); translation from Avtom. Telemekh. 1977, No. 3, 174--177 (1977)
Hyland, J. M. E. Aspects of constructivity in mathematics. (English) Zbl 0422.03021 Logic colloquium 76, Proc. Conf., Oxford 1976, Stud. Logic Found. Math., Vol. 87, 439-454 (1977). MSC: 03D99 03C99 03F60 03F65 03F55 PDFBibTeX XML
Pakshin, P. V. Stability of a class of nonlinear stochastic systems. (English. Russian original) Zbl 0415.93057 Autom. Remote Control 38, 474-481 (1977); translation from Avtom. Telemekh. 1977, No. 4, 27-36 (1977). MSC: 93E15 93D05 93C10 93C99 PDFBibTeX XMLCite \textit{P. V. Pakshin}, Autom. Remote Control 38, 474--481 (1977; Zbl 0415.93057); translation from Avtom. Telemekh. 1977, No. 4, 27--36 (1977)
Dudnikov, E. E.; Rybashov, M. V. Continuous algorithms of control and optimization of static plants. (English. Russian original) Zbl 0415.93014 Autom. Remote Control 38, 455-460 (1977); translation from Avtom. Telemekh. 1977, No. 4, 5-12 (1977). MSC: 93C35 93C99 93B35 93D05 49J15 PDFBibTeX XMLCite \textit{E. E. Dudnikov} and \textit{M. V. Rybashov}, Autom. Remote Control 38, 455--460 (1977; Zbl 0415.93014); translation from Avtom. Telemekh. 1977, No. 4, 5--12 (1977)
Felgner, Ulrich On \(\aleph_0\)-categorical extra-special \(p\)-groups. (English) Zbl 0412.03015 Six days of model theory, Proc. Conf. Louvain-la-Neuve 1975, 175-196 (1977). MSC: 03C35 20D15 03C60 20A15 03B30 PDFBibTeX XML
Suzuki, Norihisa; Jefferson, David Verification decidability of Presburger array programs. (English) Zbl 0411.68017 Proc. Conf. theoretical computer science, Waterloo/Ontario 1977, 202-212 (1977). MSC: 68Q60 68T15 03B10 PDFBibTeX XML
Motohashi, Nobuyoshi Partially ordered interpretations. (English) Zbl 0411.03030 J. Symb. Log. 42, 83-93 (1977). MSC: 03C99 03F25 03B10 PDFBibTeX XMLCite \textit{N. Motohashi}, J. Symb. Log. 42, 83--93 (1977; Zbl 0411.03030) Full Text: DOI
Schönfeld, W. Eine algebraische Konstruktion abzählbarer Modelle. (German) Zbl 0411.03020 Arch. Math. Logik Grundlagenforsch. 18, 135-144 (1977). MSC: 03C15 03B10 PDFBibTeX XMLCite \textit{W. Schönfeld}, Arch. Math. Logik Grundlagenforsch. 18, 135--144 (1977; Zbl 0411.03020) Full Text: DOI EuDML
Klimentov, S. I.; Furasov, V. D. Synthese dynamischer Regler bei unvollständiger Information über den Zustand und die Parameter instationärer Steuerungsobjekte. (Russian) Zbl 0407.93036 Izv. Akad. Nauk SSSR, Tekh. Kibern. 1977, No. 5, 211-219 (1977). MSC: 93D20 93D05 93C05 93C99 PDFBibTeX XMLCite \textit{S. I. Klimentov} and \textit{V. D. Furasov}, Izv. Akad. Nauk SSSR, Tekh. Kibern. 1977, No. 5, 211--219 (1977; Zbl 0407.93036)
Krajewski, S. A note on expansion of models of set theories. (English) Zbl 0407.03037 Set Theory, Hierarchy Theory; Sci. Pap. Inst. Math. Wroclaw Tech. Univ. 14, Conf. 1, 63-67 (1977). MSC: 03C55 03E30 PDFBibTeX XML
Biela, Andrzej On the so-called Tarski’s property in the theory of Lindenbaum’s oversystems. I: Non-finitely axiomatizable systems. (English) Zbl 0398.03016 Rep. Math. Logic 7(1976), 3-20 (1977). MSC: 03C99 03B05 PDFBibTeX XMLCite \textit{A. Biela}, Rep. Math. Logic 7, 3--20 (1977; Zbl 0398.03016)
Basarab, Serban A. On the elementary theories of Abelian profinite groups and Abelian torsion groups. (English) Zbl 0388.03013 Rev. Roum. Math. Pures Appl. 22, 299-309 (1977). MSC: 03C60 03B25 03B30 20K99 20A15 PDFBibTeX XMLCite \textit{S. A. Basarab}, Rev. Roum. Math. Pures Appl. 22, 299--309 (1977; Zbl 0388.03013)
Latarnik, Michal Application of the structural transfer-function matrix and expanded block diagram to stability analysis of time-invariant control systems. (Polish) Zbl 0384.93024 Arch. Autom. Telemech. 22, 387-395 (1977). MSC: 93C35 93C05 93C99 93D05 PDFBibTeX XMLCite \textit{M. Latarnik}, Arch. Autom. Telemech. 22, 387--395 (1977; Zbl 0384.93024)
Benejam, Jean-Pierre Algebraic characterizations of the satisfiability of first-order logical formulas and the halting of programs. (English) Zbl 0383.03008 Z. Math. Logik Grundlagen Math. 23, 111-120 (1977). MSC: 03B10 03C99 03G05 68Q60 PDFBibTeX XMLCite \textit{J.-P. Benejam}, Z. Math. Logik Grundlagen Math. 23, 111--120 (1977; Zbl 0383.03008) Full Text: DOI
Kiselev, V. A. Principle of the majorizing system in the problem of analytic study of linear nonstationary control systems of one class. (English. Russian original) Zbl 0382.93040 Sov. Phys., Dokl. 22, 190-192 (1977); translation from Dokl. Akad. Nauk SSSR 233, 808-811 (1977). MSC: 93D05 93C05 93C99 PDFBibTeX XMLCite \textit{V. A. Kiselev}, Sov. Phys., Dokl. 22, 190--192 (1977; Zbl 0382.93040); translation from Dokl. Akad. Nauk SSSR 233, 808--811 (1977)
Noldus, Erik J. New direct Lyapunov-type method for studying synchronization problems. (English) Zbl 0382.93039 Automatica 13, 139-151 (1977). MSC: 93D05 93C10 93C99 PDFBibTeX XMLCite \textit{E. J. Noldus}, Automatica 13, 139--151 (1977; Zbl 0382.93039) Full Text: DOI
Aisagaliev, S. A.; Bijarov, T. Mehrdimensinale gesteuerte Systeme mit Nichtlinearitäten verschiedener Typen. (Russian) Zbl 0379.93034 Izv. Akad. Nauk Kaz. SSR, Ser. Fiz.-Mat. 1977, No. 5, 1-6 (1977). MSC: 93D05 93C99 93C05 PDFBibTeX XMLCite \textit{S. A. Aisagaliev} and \textit{T. Bijarov}, Izv. Akad. Nauk Kaz. SSR, Ser. Fiz.-Mat. 1977, No. 5, 1--6 (1977; Zbl 0379.93034)
Nagumo, Mitio Quantities and real numbers. (English) Zbl 0379.02019 Osaka J. Math. 14, 1-10 (1977). MSC: 03C68 08C10 12D99 PDFBibTeX XMLCite \textit{M. Nagumo}, Osaka J. Math. 14, 1--10 (1977; Zbl 0379.02019)
Kleinberg, E. M. AD ”the \(\aleph_n\) are Jonsson cardinals and \(\aleph_\omega\) is a Rowbottom cardinal”. (English) Zbl 0378.02032 Ann. Math. Logic 12, 229-248 (1977). MSC: 03E30 03E05 03E55 03C68 PDFBibTeX XMLCite \textit{E. M. Kleinberg}, Ann. Math. Logic 12, 229--248 (1977; Zbl 0378.02032) Full Text: DOI
Gross, W. F. Dimension and finite closure. (English) Zbl 0376.02041 J. Aust. Math. Soc., Ser. A 23, 421-430 (1977). MSC: 03C68 08Axx 03C60 PDFBibTeX XMLCite \textit{W. F. Gross}, J. Aust. Math. Soc., Ser. A 23, 421--430 (1977; Zbl 0376.02041)
Decarlo, R.; Saeks, R. The encirclement condition. An approach using algebraic topology. (English) Zbl 0375.93033 Int. J. Control 26, 279-287 (1977). MSC: 93D05 55P99 93C99 PDFBibTeX XMLCite \textit{R. Decarlo} and \textit{R. Saeks}, Int. J. Control 26, 279--287 (1977; Zbl 0375.93033) Full Text: DOI
Jarominek, Wladyslaw On a method of synthesis of stationary systems on the basis of stability inversion, performance inversion and concepts of spectra \(R_n\). (English) Zbl 0375.93022 Int. J. Control 26, 249-263 (1977). MSC: 93C05 93C99 93D05 PDFBibTeX XMLCite \textit{W. Jarominek}, Int. J. Control 26, 249--263 (1977; Zbl 0375.93022) Full Text: DOI
Gorlov, V. V. Über abgeschlossene Klassen der k-wertigen Logik, deren Kongruenzen alle trivial sind. (Russian) Zbl 0375.02006 Mat. Zametki 22, 499-509 (1977). MSC: 03B50 03G25 03C68 03C60 03C99 PDFBibTeX XMLCite \textit{V. V. Gorlov}, Mat. Zametki 22, 499--509 (1977; Zbl 0375.02006)
Szczerba, L. W. Interpretability of elementary theories. (English) Zbl 0375.02005 Logic, Found. Math., Comput. Theory; Proc. 5th int. Congr., London/Ontario 1975, Part 1, 129-145 (1977). MSC: 03B10 03B99 03C68 08C10 51M05 PDFBibTeX XML
Morari, Manfred; Stephanopoulos, George; Aris, Rutherford Finite stability regions for large-scale systems with stable and unstable subsystems. (English) Zbl 0374.93029 Int. J. Control 26, 805-815 (1977). MSC: 93D05 93C10 93C99 PDFBibTeX XMLCite \textit{M. Morari} et al., Int. J. Control 26, 805--815 (1977; Zbl 0374.93029)
Duncan, Hilda F. Some equationally complete algebras. (English) Zbl 0374.08009 Am. Math. Mon. 84, 544-548 (1977). MSC: 08C10 08B99 03C68 PDFBibTeX XMLCite \textit{H. F. Duncan}, Am. Math. Mon. 84, 544--548 (1977; Zbl 0374.08009) Full Text: DOI
Schlipf, John S. A guide to the identification of admissible sets above structures. (English) Zbl 0374.02031 Ann. Math. Logic 12, 151-192 (1977). MSC: 03C68 03E70 03C99 03E99 PDFBibTeX XMLCite \textit{J. S. Schlipf}, Ann. Math. Logic 12, 151--192 (1977; Zbl 0374.02031) Full Text: DOI
Schmerl, James H. An axiomatization for a class of two-cardinal models. (English) Zbl 0374.02029 J. Symb. Log. 42, 174-178 (1977). MSC: 03C68 03B99 PDFBibTeX XMLCite \textit{J. H. Schmerl}, J. Symb. Log. 42, 174--178 (1977; Zbl 0374.02029) Full Text: DOI
Wright, J. D. Maitland Functional analysis for the practical man. (English) Zbl 0373.46008 Funct. Anal.: Surv. and recent Results, Proc. Conf., Paderborn 1976, 283-290 (1977). MSC: 46A30 46A03 03E25 03E15 03C68 28A05 PDFBibTeX XML
Kaiser, Klaus On generic stalks of sheaves. (English) Zbl 0373.02037 J. Lond. Math. Soc., II. Ser. 16, 385-392 (1977). MSC: 03C68 PDFBibTeX XMLCite \textit{K. Kaiser}, J. Lond. Math. Soc., II. Ser. 16, 385--392 (1977; Zbl 0373.02037) Full Text: DOI
Wierzejewski, J. Addition and correction to the paper ”On stability and products”. (English) Zbl 0372.02028 Fundam. Math. 97, 51-52 (1977). MSC: 03C68 PDFBibTeX XMLCite \textit{J. Wierzejewski}, Fundam. Math. 97, 51--52 (1977; Zbl 0372.02028) Full Text: DOI
Weglorz, B. Some properties of filters. (English) Zbl 0371.02022 Set Theory and Hierarchy Theory V, Proc. 3rd Conf., Bierutowice 1976, Lect. Notes Math. 619, 311-328 (1977). MSC: 03C68 03E70 PDFBibTeX XML
Paillet, Jean-Luc Résultats rélatifs à l’existence de structures n-élémentaires. (French) Zbl 0369.02031 C. R. Acad. Sci., Paris, Sér. A 284, 359-362 (1977). MSC: 03C68 03C60 PDFBibTeX XMLCite \textit{J.-L. Paillet}, C. R. Acad. Sci., Paris, Sér. A 284, 359--362 (1977; Zbl 0369.02031)
Snapper, Ernest Omitting models. (English) Zbl 0369.02029 J. Symb. Log. 42, 29-32 (1977). MSC: 03C68 03B99 PDFBibTeX XMLCite \textit{E. Snapper}, J. Symb. Log. 42, 29--32 (1977; Zbl 0369.02029) Full Text: DOI
Baldwin, John T.; Rose, Bruce \(\aleph_0\)-categoricity and stability of rings. (English) Zbl 0368.16001 J. Algebra 45, 1-16 (1977). MSC: 16-00 16P10 16D70 03C68 03C60 PDFBibTeX XMLCite \textit{J. T. Baldwin} and \textit{B. Rose}, J. Algebra 45, 1--16 (1977; Zbl 0368.16001) Full Text: DOI
Nowaczyk, Adam Analytic sentences in the semantic system. (English) Zbl 0368.02049 Twenty-five Years of logic. Methodol. in Poland, Synthese Library 87, 457-497 (1977). MSC: 03C68 PDFBibTeX XML
Venkatesh, Y. V. A survey of some recent results in the stability and instability analyses of time-varying systems. (English) Zbl 0367.93002 Int. J. Non-Linear Mech. 12, 251-268 (1977). MSC: 93-02 93C10 93C99 93D05 93D10 93C20 35B35 PDFBibTeX XMLCite \textit{Y. V. Venkatesh}, Int. J. Non-Linear Mech. 12, 251--268 (1977; Zbl 0367.93002) Full Text: DOI
Simmons, H. Correction to: Each regular number structure is biregular. (English) Zbl 0367.02029 Isr. J. Math. 26, 95 (1977). MSC: 03C60 03C68 11U99 PDFBibTeX XMLCite \textit{H. Simmons}, Isr. J. Math. 26, 95 (1977; Zbl 0367.02029) Full Text: DOI
Broesterhuizen, Guus; Weglorz, B.; Wierzejewski, J. Remarks on rigid structures. (English) Zbl 0367.02026 Nederl. Akad. Wet., Proc., Ser. A 80, 383-388 (1977). MSC: 03C68 03C99 03C75 PDFBibTeX XMLCite \textit{G. Broesterhuizen} et al., Nederl. Akad. Wet., Proc., Ser. A 80, 383--388 (1977; Zbl 0367.02026)
Fuller, A. T. On redundance in stability criteria. (English) Zbl 0366.93023 Int. J. Control 26, 207-224 (1977). MSC: 93D05 93C05 93C99 12D10 PDFBibTeX XMLCite \textit{A. T. Fuller}, Int. J. Control 26, 207--224 (1977; Zbl 0366.93023) Full Text: DOI
Weese, Martin Definierbare Prädikate in Booleschen Algebren. I. (German) Zbl 0366.02035 Z. Math. Logik Grundlagen Math. 23, 511-526 (1977). MSC: 03B25 03C68 03B99 PDFBibTeX XMLCite \textit{M. Weese}, Z. Math. Logik Grundlagen Math. 23, 511--526 (1977; Zbl 0366.02035) Full Text: DOI
Wilkie, A. J. On models of arithmetic having non-modular substructure lattices. (English) Zbl 0365.02041 Fundam. Math. 95, 223-237 (1977). MSC: 03C68 03H99 03C60 PDFBibTeX XMLCite \textit{A. J. Wilkie}, Fundam. Math. 95, 223--237 (1977; Zbl 0365.02041) Full Text: DOI EuDML
Olin, Philip Elementary properties of V-free products of groups. (English) Zbl 0365.02039 J. Algebra 47, 105-114 (1977). MSC: 03C68 20E10 PDFBibTeX XMLCite \textit{P. Olin}, J. Algebra 47, 105--114 (1977; Zbl 0365.02039) Full Text: DOI
Oberschelp, Walter Monotonicity for structure numbers in theories without identity. (English) Zbl 0365.02038 Comb. Represent. Groupe symetr., Actes Table Ronde C. N. R. S. Strasbourg 1976, Lect. Notes Math. 579, 297-308 (1977). MSC: 03C68 PDFBibTeX XML
Litman, A.; Shelah, S. Models with few isomorphic expansions. (English) Zbl 0365.02036 Isr. J. Math. 28, 331-338 (1977). MSC: 03C68 03B15 PDFBibTeX XMLCite \textit{A. Litman} and \textit{S. Shelah}, Isr. J. Math. 28, 331--338 (1977; Zbl 0365.02036) Full Text: DOI
Ferro, Ruggero Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality. (English) Zbl 0365.02006 Rend. Sem. Mat. Univ. Padova 55(1976), 123-141 (1977). MSC: 03C75 03E35 03C68 PDFBibTeX XMLCite \textit{R. Ferro}, Rend. Semin. Mat. Univ. Padova 55, 123--141 (1977; Zbl 0365.02006) Full Text: Numdam EuDML
Keisler, H. Jerome The monotone class theorem in infinitary logic. (English) Zbl 0364.02030 Proc. Am. Math. Soc. 64, 129-134 (1977). MSC: 03C68 PDFBibTeX XMLCite \textit{H. J. Keisler}, Proc. Am. Math. Soc. 64, 129--134 (1977; Zbl 0364.02030) Full Text: DOI
Nikiforuk, P. N.; Gupta, M. M.; Tamura, K. The design of a signal synthesis model reference adaptive control system for linear unknown plants. (English) Zbl 0363.93031 J. Dyn. Syst. Meas. Control 99, 123-129 (1977). MSC: 93C40 93C99 93C05 93D05 PDFBibTeX XMLCite \textit{P. N. Nikiforuk} et al., J. Dyn. Syst. Meas. Control 99, 123--129 (1977; Zbl 0363.93031) Full Text: DOI
Lacava, Francesco; Saeli, Donato Sul model-completamento della teoria delle L-catene. (Italian) Zbl 0363.02056 Boll. Unione Mat. Ital., V. Ser., A 14, 107-110 (1977). MSC: 03C68 03C60 03B50 PDFBibTeX XMLCite \textit{F. Lacava} and \textit{D. Saeli}, Boll. Unione Mat. Ital., V. Ser., A 14, 107--110 (1977; Zbl 0363.02056)
Mijajlovic, Z. Some remarks on Boolean terms - model theoretic approach. (English) Zbl 0362.02055 Publ. Inst. Math., Nouv. Sér. 21(35), 135-140 (1977). MSC: 03G05 03C68 PDFBibTeX XMLCite \textit{Z. Mijajlovic}, Publ. Inst. Math., Nouv. Sér. 21(35), 135--140 (1977; Zbl 0362.02055) Full Text: EuDML
Fraïssé, Roland Present problems about intervals in relation-theory and logic. (English) Zbl 0362.02054 Non-classical Logics, Model Theory, Comput., Proc. 3rd. Lat.-Am. Symp. math. Logic, Campinas 1976, Stud. Logic Found. Math. 89, 179-200 (1977). Reviewer: D. Seese MSC: 03C99 03E20 PDFBibTeX XML
Toffalori, Carlo Alcune proprieta di teorie di campi con un sottocampo privilegiato. (Italian) Zbl 0362.02047 Boll. Unione Mat. Ital., V. Ser., B 14, 254-266 (1977). MSC: 03C60 03C68 12L10 PDFBibTeX XMLCite \textit{C. Toffalori}, Boll. Unione Mat. Ital., V. Ser., B 14, 254--266 (1977; Zbl 0362.02047)
Shelah, Saharon A two-cardinal theorem and a combinatorial theorem. (English) Zbl 0362.02040 Proc. Am. Math. Soc. 62, 134-136 (1977). MSC: 03C68 03E05 PDFBibTeX XMLCite \textit{S. Shelah}, Proc. Am. Math. Soc. 62, 134--136 (1977; Zbl 0362.02040) Full Text: DOI
Mita, T. On maximal unobservable subspace, zeros and their applications. (English) Zbl 0361.93024 Int. J. Control 25, 885-899 (1977). MSC: 93C05 93B35 93C99 93D05 PDFBibTeX XMLCite \textit{T. Mita}, Int. J. Control 25, 885--899 (1977; Zbl 0361.93024) Full Text: DOI
Pinter, Charles C. Some theorems on omitting types, with applications to model completeness, amalgamation, and related properties. (English) Zbl 0361.02068 Non-classical Logics, Model Theory Comput., Proc. 3rd Lat.-Am. Symp. math. Logic, Campinas 1976, Stud. Logic Found. Math. 89, 223-238 (1977). Reviewer: D. Seese MSC: 03C68 03E35 PDFBibTeX XML
Dobrica, V. P. Computability of some classes of constructive algebras. (Russian) Zbl 0361.02065 Sib. Mat. Zh. 18, 570-579 (1977). MSC: 03C68 03C60 PDFBibTeX XMLCite \textit{V. P. Dobrica}, Sib. Mat. Zh. 18, 570--579 (1977; Zbl 0361.02065) Full Text: EuDML
Bridge, Jane Beginning model theory. The completeness theorem and some consequences. (English) Zbl 0361.02064 Oxford Logic Guides. Oxford: Clarendon Press. VII, 143 p. £4.50 (1977). MSC: 03C68 03-01 03B10 PDFBibTeX XML
Benda, Miroslav Some directions in model theory. (English) Zbl 0361.02063 Non-classical Logics, Model Theory Comput.; Proc. 3rd Lat.-Am. Symp. math. Logic, Campinas 1976, Stud. Logic Found. Math. 89, 117-133 (1977). Reviewer: D. Seese MSC: 03C68 03C60 03-02 PDFBibTeX XML
Lablanquie, Jean-Claude The number of elementary equivalence classes of generic models with a “forcing” property. (Le nombre de classes d’équivalence élémentaire des modeles generiques d’une propriété de “forcing”.) (French. English summary) Zbl 0358.02065 C. R. Acad. Sci., Paris, Sér. A 284, 787-790 (1977). Reviewer: Ph. Olin MSC: 03C25 03C68 PDFBibTeX XMLCite \textit{J.-C. Lablanquie}, C. R. Acad. Sci., Paris, Sér. A 284, 787--790 (1977; Zbl 0358.02065)
Lopez, Gerard La reconstruction des multirelations binaires. (French) Zbl 0357.04005 C. R. Acad. Sci., Paris, Sér. A 284, 283-286 (1977). MSC: 03E20 03C99 PDFBibTeX XMLCite \textit{G. Lopez}, C. R. Acad. Sci., Paris, Sér. A 284, 283--286 (1977; Zbl 0357.04005)
Magidor, Menachem; Malitz, Jerome Compact extensions of L(Q). Ia. (English) Zbl 0356.02012 Ann. Math. Logic 11, 217-261 (1977). MSC: 03C80 03C68 PDFBibTeX XMLCite \textit{M. Magidor} and \textit{J. Malitz}, Ann. Math. Logic 11, 217--261 (1977; Zbl 0356.02012) Full Text: DOI
Pacholski, Leszek Homogeneity, universality and saturatedness of limit reduced powers. III. (English) Zbl 0354.02042 Fundam. Math. 95, 85-94 (1977). MSC: 03C68 03C30 PDFBibTeX XMLCite \textit{L. Pacholski}, Fundam. Math. 95, 85--94 (1977; Zbl 0354.02042) Full Text: DOI EuDML
Gnanvo, Cyprien \(\Gamma\)-cotheories et elimination des quantificateurs. (French) Zbl 0354.02039 C. R. Acad. Sci., Paris, Sér. A 284, 129-131 (1977). MSC: 03C68 03C35 03B10 PDFBibTeX XMLCite \textit{C. Gnanvo}, C. R. Acad. Sci., Paris, Sér. A 284, 129--131 (1977; Zbl 0354.02039)
Lecomte, Pierre-Claude Endo-extensions inseparables. (French) Zbl 0353.02037 C. R. Acad. Sci., Paris, Sér. A 284, 997-999 (1977). MSC: 03C99 03E20 PDFBibTeX XMLCite \textit{P.-C. Lecomte}, C. R. Acad. Sci., Paris, Sér. A 284, 997--999 (1977; Zbl 0353.02037)
Lolli, Gabriele Indiscernibili in teoria dei modelli e in teoria degli insiemi. (Italian) Zbl 0353.02029 Boll. Unione Mat. Ital., V. Ser., A 14, 10-24 (1977). MSC: 03C68 03E55 PDFBibTeX XMLCite \textit{G. Lolli}, Boll. Unione Mat. Ital., V. Ser., A 14, 10--24 (1977; Zbl 0353.02029)
Csaki, F. State-space methods for control systems. Translated by B. Balkay. (English) Zbl 0349.93001 Budapest: Akademiai Kiado. 650 p. DM 100.00 (1977). MSC: 93-01 93Bxx 93Cxx 93D05 93E10 PDFBibTeX XML
Weglorz, B. Homogeneity, universality and saturatedness of limit reduced powers. II. (English) Zbl 0349.02046 Fundam. Math. 94, 59-64 (1977). MSC: 03C68 PDFBibTeX XMLCite \textit{B. Weglorz}, Fundam. Math. 94, 59--64 (1977; Zbl 0349.02046) Full Text: DOI EuDML
Wierzejewski, J. Homogeneity, universality and saturatedness of limit reduced powers. I. (English) Zbl 0349.02045 Fundam. Math. 94, 35-39 (1977). MSC: 03C68 PDFBibTeX XMLCite \textit{J. Wierzejewski}, Fundam. Math. 94, 35--39 (1977; Zbl 0349.02045) Full Text: DOI EuDML
Weese, Martin Definierbare Prädikate in Booleschen Algebren. (German) Zbl 0341.02038 Z. Math. Logik Grundlagen Math. (to appear). MSC: 03B25 03C68 03B99 PDFBibTeX XML
Bennett, David W. A note on the completeness proof for natural deduction. (English) Zbl 0271.02021 Notre Dame J. Formal Logic 18, 145-146 (1977). MSC: 03F99 03B05 03B10 03B99 03C35 03C68 03C30 PDFBibTeX XMLCite \textit{D. W. Bennett}, Notre Dame J. Formal Logic 18, 145--146 (1977; Zbl 0271.02021) Full Text: DOI