Jaśkowski S.. Example of a class of systems of ordinary differential equations having no decision method for existence problems. Bulletin de l'Académie Polonaise des Sciences, classe troisième, vol. 2 , pp. 155–157.Jaśkowski S.. Primér klassa sistém obyknovénnyh différéncial′nyh uravnénij, né iméúščégo algorifma razréšmosti dlá problém o suščéstvovanii. Russian version of the preceding. Búllétén′ Pol′skoj Akadémii Nauk, Otd. 3, vol. 2 , pp. 153–155 [Book Review]

Journal of Symbolic Logic 28 (1):103-103 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271344

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A. Mostowski. On models of axiomatic set-theory. Bulletin de l′Académie Polonaise des Sciences, Classe III, vol. 4 , pp. 663–667. - A. Mostowski. Zaméčaniá k dokazatél′stvam suščéstvovaniá standartnyh modéléj . Trudy Trét′égo Vsésoúznogo Matématičéskogo Sézda, Moskva, iún′-iúl′ 1956, Volume IV, Kratkoé sodéržanié sékcionnyh dokladov, doklady inostrannyh učényh, Izdatél′stvo Akadémii Nauk SSSR, Moscow1959, pp. 232–236. [REVIEW]Elliott Mendelson - 1968 - Journal of Symbolic Logic 32 (4):531-532.
Salwicki A.. Formalized algorithmic languages. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 227–232, XVII, XVII.Salwicki A.. On the equivalence of FS-expressions and programs. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 275–278, XXI, XXI.Salwicki A.. On the predicate calculi with iteration quantifiers. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 279–285, XXI, XXI. [REVIEW]E. Engeler - 1974 - Journal of Symbolic Logic 39 (2):349-350.
Grindlingér É. I.. O nérazréšimosti problémy toždéstva slov dlá odnogo klassa polugrupp s razréšimoj problèmoj izomorfizma. Doklady Akadémii Nauk SSSR, vol. 171 , pp. 519–520.Grindlinger [Greendlinger] E. I.. On the unsolvability of the word problem for a class of semigroups with a solvable isomorphism problem. English translation of the preceding by Greendlinger M.. Soviet mathematics, vol. 7 no. 6 , pp. 1502–1503. [REVIEW]C. R. J. Clapham - 1968 - Journal of Symbolic Logic 33 (3):469-469.
A. Mostowski, with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski. Der gegenwärtige Stand der Grundlagenforschung in der Mathematik. Die Hauptreferate des 8. Polnischen Mathematikerkongresses vom 6. bis 12. September 1953 in Warschau, Deutscher Verlag der Wissenschaften, Berlin1955, pp. 11–44. - Andrzej Mostowski, in collaboration with A. Grzegorczyk, S. Jaśkowski, J. Łoś, S. Mazur, H. Rasiowa, and R. Sikorski. The present state of investigations on the foundations of mathematics. English translation. Rozprawy matematyczne no. 9. Państwowe Wydawnictwo Naukowe, Warsaw1955, 48 pp. - A. Mostowski, with participation of A. Grzegorczyk, J. Łoś, S. Mazur, H. Rasiowa, R. Sikorski, and S. Jaśkowski. Sovréménnoé sostoánié isslédovanij po osnovaniám matématiki. Russian translation. Uspéhi matématičéskih nauk, vol. 9 no. 3 , pp. 3–38. [REVIEW]Leon Henkin - 1956 - Journal of Symbolic Logic 21 (4):372-373.
On the relation between elementary partial difference equations and partial differential equations.I. P. van den Berg - 1998 - Annals of Pure and Applied Logic 92 (3):235-265.
Mostowski A.. On recursive models of formalised arithmetic. Bulletin de l'Académie Polonaise des Sciences, Classe III, vol. 5 , pp. 705–710. [REVIEW]Solomon Feferman - 1958 - Journal of Symbolic Logic 23 (1):45-46.
Mostowski A.. A lemma concerning recursive functions and its applications. Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 1 , S. 277–280. [REVIEW]Rózsa Péter - 1954 - Journal of Symbolic Logic 19 (4):299-300.
Białynicki–Birula A.. Remarks on quasi–Boolean algebras. Bulletin de l′Académie Polonaise des Sciences, Classe III, Bd. 5 , S. 615–619. [REVIEW]H. Gericke - 1967 - Journal of Symbolic Logic 32 (3):414-414.
Białynicki-Birula A. and Rasiowa H.. On the representation of quasi-Boolean algebras. Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 5 , S. 259–261. [REVIEW]H. Gericke - 1957 - Journal of Symbolic Logic 22 (4):370-370.
Kripke-style semantics for Jaskowski's system qf.Max Urchs - 1981 - Bulletin of the Section of Logic 10 (1):24-28.
Recursive analysis of singular ordinary differential equations.Peter Buser & Bruno Scarpellini - 2010 - Annals of Pure and Applied Logic 162 (1):20-35.
Sikorski R.. A theorem on non-classical functional calculi. Bulletin de l'Academie Polonaise des Sciences, Classe III, vol. 4 , pp. 649–650.Sikorski R.. Some applications of interior mappings. Fundamenta mathematicae, vol. 45 , pp. 200–212. [REVIEW]Mihály Makkai - 1968 - Journal of Symbolic Logic 32 (4):537-537.
Pogorzelski W. A.. Structural completeness of the propositional calculus. English with Russian summary. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 19 , pp. 349–351. [REVIEW]Mircea Tîrnoveanu - 1975 - Journal of Symbolic Logic 40 (4):604-605.
Higher regularity for nonlinear oblique derivative problems in Lipschitz domains.Gary M. Lieberman - 2002 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 1 (1):111-151.
Mączyński M. J. and Traczyk T.. The m-amalgamation property for m-distributive Boolean algebras. English with Russian summary. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 , pp. 57–60. [REVIEW]F. M. Yaqub - 1970 - Journal of Symbolic Logic 35 (2):346-347.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,078,270)

6 months
2 (#1,192,610)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references