Results for 'A. Włodzimierz Mostowski'

946 found
Order:
  1.  29
    Zum Problem der Darstellbarkeit von Matrizen.A. Wlodzimierz Mostowski & A. A. Markov - 1966 - Journal of Symbolic Logic 31 (4):653.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  15
    On the Decidability of Some Problems in Special Classes of Groups.A. Wlodzimierz Mostowski - 1970 - Journal of Symbolic Logic 35 (3):476-477.
  3.  33
    Beispiel einer Gruppe mit Nicht Rekursivem Zentrum.A. Wlodzimierz Mostowski & N. M. Nagornyj - 1966 - Journal of Symbolic Logic 31 (4):653.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  33
    P. S. Novikov and S. I. Adán. Probléma toždéstva dlá polugrupp s odnostoronnim sokraščéniém . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 66–88. [REVIEW]A. Włodzimierz Mostowski - 1964 - Journal of Symbolic Logic 29 (1):57.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  50
    N. M. Nagornyj. Primer gruppy s nérékursivnym céntrom . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 304–308. [REVIEW]A. Włodzimierz Mostowski - 1966 - Journal of Symbolic Logic 31 (4):653-653.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. Review: P. S. Novikov, The Unsolvability of the Problem of the Equivalence of Words in a Group and Several Other Problems in Algebra. [REVIEW]A. Wlodzimierz Mostowski - 1964 - Journal of Symbolic Logic 29 (1):56-57.
  7.  15
    Novikov P. S.. O nérazréšimosti problémy toždéstva slov v gruppé i nékotoryh drugih problém algebry . Čehoslovackij matématičéskij žurnál , vol. 6 , pp. 450–454. [REVIEW]A. Włodzimierz Mostowski - 1964 - Journal of Symbolic Logic 29 (1):56-57.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Review: P. S. Novikov, S. I. Adan, Das Wortproblem fur Halbgruppen mit Eiseitiger Kurzungsregel. [REVIEW]A. Wlodzimierz Mostowski - 1964 - Journal of Symbolic Logic 29 (1):57-57.
  9.  22
    S. I. Adán. Nérazréšimost′ nékotoryh algoritmičéskih problém térii grupp . Trudy Moskovskogo Matématičéskogo Obščéstva, vol. 6 , pp. 231–298. [REVIEW]A. Wlodzimierz Mostowski - 1965 - Journal of Symbolic Logic 30 (3):391-391.
  10.  22
    Włodzimierz Mostowski A.. On the decidability of some problems in special classes of groups. Fundamenta mathematicae, vol. 59 , pp. 123–135.Włodzimierz Mostowski A.. Computational algorithms for deciding some problems for nilpotent groups. Fundamenta mathematicae, vol. 59 , pp. 137–152. [REVIEW]F. B. Cannonito - 1970 - Journal of Symbolic Logic 35 (3):476-477.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  32
    Arithmetic of divisibility in finite models.A. E. Wasilewska & M. Mostowski - 2004 - Mathematical Logic Quarterly 50 (2):169.
    We prove that the finite-model version of arithmetic with the divisibility relation is undecidable . Additionally we prove FM-representability theorem for this class of finite models. This means that a relation R on natural numbers can be described correctly on each input on almost all finite divisibility models if and only if R is of degree ≤0′. We obtain these results by interpreting addition and multiplication on initial segments of finite models with divisibility only.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  12
    Logika dla inżynierów.Andrzej Włodzimierz Mostowski - 1970 - Warszawa,: Panstwowe Wydawn. Naukowe. Edited by Zdzisław Pawlak.
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  12
    A Compact Space of Models of First Order Theories.A. Ehrenfeucht & A. Mostowski - 1970 - Journal of Symbolic Logic 35 (4):586-587.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  13
    A Lemma Concerning Recursive Functions and Its Applications.A. Mostowski - 1954 - Journal of Symbolic Logic 19 (4):299-300.
  15.  16
    Models of Axiomatic Theories Admitting Automorphisms.A. Ehrenfeucht & A. Mostowski - 1966 - Journal of Symbolic Logic 31 (4):644-645.
  16.  18
    A Class of Models for Second Order Arithmetic.A. Mostowski - 1969 - Journal of Symbolic Logic 34 (1):128-129.
  17.  19
    Definability of Sets in Models of Axiomatic Theories.A. Grzegorczyk, A. Mostowski & C. Ryll-Nardzewski - 1969 - Journal of Symbolic Logic 34 (1):126-126.
  18.  13
    A Problem in the Theory of Models.A. Mostowski - 1974 - Journal of Symbolic Logic 39 (3):600-600.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  32
    Recent Results in Set Theory.Andrzej Mostowski, Imre Lakatos, G. Kreisel, A. Robinson & A. Mostowski - 1972 - Journal of Symbolic Logic 37 (4):765-766.
  20.  21
    On Models of Axiomatic Systems.A. Mostowski - 1954 - Journal of Symbolic Logic 19 (3):220-221.
  21.  14
    Roczniki Polskiego Towarzystwa Matematycznego.A. Mostowski - 1966 - Journal of Symbolic Logic 31 (3):517-517.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  6
    Contribution to the Theory of Definable Sets and Functions.A. Mostowski - 1960 - Journal of Symbolic Logic 25 (4):365-365.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  5
    Sur une Extension de la Polyrelation et des Parentés Tirant son Origine du Calcul Logique de kème Échelon.A. Tarski & A. Mostowski - 1960 - Journal of Symbolic Logic 25 (3):285-286.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24. Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel.A. Mostowski - 1953 - British Journal for the Philosophy of Science 3 (12):364-374.
     
    Export citation  
     
    Bookmark   9 citations  
  25.  25
    On Computable Sequences.A. Mostowski - 1960 - Journal of Symbolic Logic 25 (4):367-367.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  26.  62
    Meeting of the association for symbolic logic warsaw 1968.A. Blikle & Andrzej Mostowski - 1969 - Journal of Symbolic Logic 34 (3):533-544.
  27.  15
    On Models of Axiomatic Set-Theory.A. Mostowski - 1967 - Journal of Symbolic Logic 32 (4):531-532.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  26
    Sur l’interpretation Géométrique et Topologique des Notions Logiques.A. Mostowski - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:767-769.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. (2 other versions)On a generalization of quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
  30.  17
    Der Gegenwärtige Stand der Grundlagenforschung in der Mathematik.A. Mostowski, A. Grzegorczyk, S. Mazur & H. Rasiowa - 1956 - Journal of Symbolic Logic 21 (4):372-373.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  14
    L'Oeuvre Scientifique de Jan Łukasiewicz dans Le Domaine de la Logique Mathématique.A. Mostowski - 1957 - Journal of Symbolic Logic 22 (4):387-388.
  32.  24
    On Recursive Models of Formalised Arithmetic.A. Mostowski - 1958 - Journal of Symbolic Logic 23 (1):45-46.
  33.  12
    A Proof of Herbrand's Theorem.A. Mostowski & H. Rasiowa - 1971 - Journal of Symbolic Logic 36 (1):168-169.
  34.  42
    Allocution Prononcée par M. A. Ch'telet.A. Tarski, M. Krasner, A. Mostowski & R. de Possel - 1960 - Journal of Symbolic Logic 25 (3):284-285.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  17
    Alan Rose. A formalisation of the ℵ 0 -valued Łukasiewicz implicational propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 293–294. [REVIEW]A. Mostowski - 1970 - Journal of Symbolic Logic 35 (1):143-143.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  10
    Examples of Sets Definable by Means of Two and Three Quantifiers.A. Mostowski - 1960 - Journal of Symbolic Logic 25 (4):364-365.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  18
    Un Procédé Maniable de Décision pour la Logique Propositionelle Intuitionniste.H. Arnold Schmidt, A. Mostowski, Arnold Schmidt, A. Tarski & R. Feys - 1960 - Journal of Symbolic Logic 25 (3):286-286.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  27
    Can a Physicist Afford not To Be a Platonic?Włodzimierz Kołos - 2008 - Dialogue and Universalism 18 (4-6):13-25.
    Differences between macro and microphysics. How do we come to know the world? Theories—can they be beautiful? Cloakroom principle. Microparticles are identical—conssquences. Platonian beings.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39. Set Theory.K. Kuratowski & A. Mostowski - 1971 - Philosophy of Science 38 (2):314-315.
     
    Export citation  
     
    Bookmark   24 citations  
  40.  9
    A note on ciris 118.Włodzimierz Olszaniec - 2021 - Classical Quarterly 71 (2):898-899.
    This note offers a new emendation in the Ciris. The author suggests that the text of line 118 should read: deicere et indomita Minoa retundere mente.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  7
    Granice Europy - granice filozofii: filozofia a tożsamość Rosji.Włodzimierz Rydzewski & Leszek Augustyn (eds.) - 2007 - Kraków: Wydawn. Uniwersytetu Jagiellońskiego.
    Książka zawiera: podsumowanie konferencji naukowej: Kraków, Uniwersytet Jagielloński 2004; pytanie o granice filozofii i różnice w jej rozumieniu; pytanie o specyfikę filozofii rosyjskiej na tle innych tradycji filozoficznych; pytanie o granice teoretyczne i polityczne, geograficzne, narodowe, mentalne; pytanie o rozumienie pojęcia "granica" w myśli rosyjskiej; pytanie o to, co rozumiemy przez pojęcie "Rosja", a co przez pojęcie "Europa"; teksty wybitnych uczonych i naukowe debiuty doktorantów.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Koncepcja więzi społecznej i wizja dziejów w doktrynie społecznej Piotra A. Kropotkina.Włodzimierz Rydzewski - 1978 - Archiwum Historii Filozofii I Myśli Społecznej 24.
    No categories
     
    Export citation  
     
    Bookmark  
  43. Meeting of the Association for Symbolic Logic.A. Mostowski - 1969 - Journal of Symbolic Logic 34:533.
  44.  9
    Jerome Keisler H.. First order properties of pairs of cardinals. Bulletin of the American Mathematical Society, vol. 72 , pp. 141–144. [REVIEW]A. Mostowski - 1968 - Journal of Symbolic Logic 33 (1):122-122.
  45.  26
    A. I. Mal′cév. O malyh modélah . Doklady Akadémii Nauk SSSR, vol. 127 , pp. 258–261.Andrzej Mostowski - 1969 - Journal of Symbolic Logic 34 (3):513-514.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  9
    Markov A.. O prédstavlénii rékursivnyh funkcij . Doklady Akadémii Nauk SSSR, vol. 58 , pp. 1891–1892.Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (1):67-67.
  47.  8
    A Lucretian Gloss Reconsidered (Lucr. 5.1442).Włodzimierz Olszaniec - 2014 - Hermes 142 (4):492-493.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  10
    On a Set of Integers Not Definable by Means of One-Quantifier Predicates.Andrzej Mostowski - 1950 - Journal of Symbolic Logic 15 (2):135-135.
  49.  22
    (1 other version)A classification of logical systems.Andrzej Mostowski - 1951 - Studia Philosophica 4 (4):237-274.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  50.  7
    Filozofia--etyka--ekologia: profesorowi Włodzimierzowi Tyburskiemu w darze = Philosophy--ethics--ecology: the contribution to professor Wlodzimierz Bernard Tyburski.Włodzimierz Tyburski, Piotr Domeracki, Adam Grzeliński & Ryszard Wiśniewski (eds.) - 2015 - Toruń: Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika.
    […] redaktorom udała się rzecz dość rzadka w tego typu publikacjach, mianowicie stworzyli imponujących rozmiarów księgę pamiątkową, która jednak, poza walorami okolicznościowymi, charakteryzuje się wysokim poziomem naukowym i zawiera sporo oryginalnych, wartościowych treści, z konieczności prezentowanych w krótkich formach, co jednak nie obniża ich rangi teoretycznej. Ponadto […] udało się w tej publikacji zgromadzić bardzo liczne, a jednocześnie reprezentatywne grono najwybitniejszych polskich filozofów, którzy ofiarowali profesorowi Tyburskiemu swoje cenne teksty, co czyni tę książkę tym bardziej wartościową i spowoduje, jak można (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 946