Results for 'Henryk Kotlarski'

(not author) ( search as author name )
587 found
Order:
  1.  19
    Full satisfaction classes: a survey.Henryk Kotlarski - 1991 - Notre Dame Journal of Formal Logic 32 (4):573-579.
  2.  23
    Automorphisms of Models of True Arithmetic: Recognizing Some Basic Open Subgroups.Henryk Kotlarski & Richard Kaye - 1994 - Notre Dame Journal of Formal Logic 35 (1):1-14.
    Let M be a countable recursively saturated model of Th(), and let GAut(M), considered as a topological group. We examine connections between initial segments of M and subgroups of G. In particular, for each of the following classes of subgroups HG, we give characterizations of the class of terms of the topological group structure of H as a subgroup of G. (a) for some (b) for some (c) for some (d) for some (Here, M(a) denotes the smallest M containing a, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  44
    Automorphisms of Countable Recursively Saturated Models of PA: A Survey.Henryk Kotlarski - 1995 - Notre Dame Journal of Formal Logic 36 (4):505-518.
    We give a survey of automorphisms of countable recursively saturated models of Peano Arithmetic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  25
    Automorphisms of recursively saturated models of arithmetic.Richard Kaye, Roman Kossak & Henryk Kotlarski - 1991 - Annals of Pure and Applied Logic 55 (1):67-99.
    We give an examination of the automorphism group Aut of a countable recursively saturated model M of PA. The main result is a characterisation of strong elementary initial segments of M as the initial segments consisting of fixed points of automorphisms of M. As a corollary we prove that, for any consistent completion T of PA, there are recursively saturated countable models M1, M2 of T, such that Aut[ncong]Aut, as topological groups with a natural topology. Other results include a classification (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  5.  33
    The incompleteness theorems after 70 years.Henryk Kotlarski - 2004 - Annals of Pure and Applied Logic 126 (1-3):125-138.
    We give some information about new proofs of the incompleteness theorems, found in 1990s. Some of them do not require the diagonal lemma as a method of construction of an independent statement.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  6.  68
    On interstices of countable arithmetically saturated models of Peano arithmetic.Nicholas Bamber & Henryk Kotlarski - 1997 - Mathematical Logic Quarterly 43 (4):525-540.
    We give some information about the action of Aut on M, where M is a countable arithmetically saturated model of Peano Arithmetic. We concentrate on analogues of moving gaps and covering gaps inside M.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  7.  54
    On the incompleteness theorems.Henryk Kotlarski - 1994 - Journal of Symbolic Logic 59 (4):1414-1419.
    We give new proofs of both incompleteness theorems. We do not use the diagonalization lemma, but work with some quickly growing functions instead.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  8.  25
    Other Proofs of Old Results.Henryk Kotlarski - 1998 - Mathematical Logic Quarterly 44 (4):474-480.
    We transform the proof of the second incompleteness theorem given in [3] to a proof-theoretic version, avoiding the use of the arithmetized completeness theorem. We give also new proofs of old results: The Arithmetical Hierarchy Theorem and Tarski's Theorem on undefinability of truth; the proofs in which the construction of a sentence by means of diagonalization lemma is not needed.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  9.  24
    More on lower bounds for partitioning α-large sets.Henryk Kotlarski, Bożena Piekart & Andreas Weiermann - 2007 - Annals of Pure and Applied Logic 147 (3):113-126.
    Continuing the earlier research from [T. Bigorajska, H. Kotlarski, Partitioning α-large sets: some lower bounds, Trans. Amer. Math. Soc. 358 4981–5001] we show that for the price of multiplying the number of parts by 3 we may construct partitions all of whose homogeneous sets are much smaller than in [T. Bigorajska, H. Kotlarski, Partitioning α-large sets: some lower bounds, Trans. Amer. Math. Soc. 358 4981–5001]. We also show that the Paris–Harrington independent statement remains unprovable if the number of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10. Some remarks on initial segments in models of peano arithmetic.Henryk Kotlarski - 1984 - Journal of Symbolic Logic 49 (3):955-960.
    If $M \models PA (= Peano Arithmetic)$ , we set $A^M = \{N \subset_e M: N \models PA\}$ and study this family.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  41
    An addition to Rosser's theorem.Henryk Kotlarski - 1996 - Journal of Symbolic Logic 61 (1):285-292.
    For a primitive recursive consistent and strong enough theory T we construct an independent statement which has some clear metamathematical meaning.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  30
    On cofinal extensions of models of arithmetic.Henryk Kotlarski - 1983 - Journal of Symbolic Logic 48 (2):253-262.
    We study cofinal extensions of models of arithmetic, in particular we show that some properties near to expandability are preserved under cofinal extensions.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  35
    On Models Constructed by Means of the Arithmetized Completeness Theorem.Richard Kaye & Henryk Kotlarski - 2000 - Mathematical Logic Quarterly 46 (4):505-516.
    In this paper we study the model theory of extensions of models of first-order Peano Arithmetic by means of the arithmetized completeness theorem applied to a definable complete extension of PA in the original model. This leads us to many interesting model theoretic properties equivalent to reflection principles and ω-consistency, and these properties together with the associated first-order schemes extending PA are studied.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  29
    Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts.Henryk Kotlarski & Bozena Piekart - 1995 - Mathematical Logic Quarterly 41 (1):138-142.
    Let M be a countable recursively saturated model of PA and H an open subgroup of G = Aut. We prove that I = sup {b ∈ M : ∀u < bfu = u and J = inf{b ∈ MH} may be invariant, i. e. fixed by all automorphisms of M.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  14
    Automorphisms of Models of True Arithmetic: Subgroups which Extend to a Maximal Subgroup Uniquely.Henryk Kotlarski & Bożena Piekart - 1994 - Mathematical Logic Quarterly 40 (1):95-102.
    We show that if M is a countable recursively saturated model of True Arithmetic, then G = Aut has nonmaximal open subgroups with unique extension to a maximal subgroup of Aut.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  10
    A. D. Tajmanov. Haraktéristiki aksiomatiziruémyh klassov modélej . Algébra i logika, Séminar, vol. 1 no. 4 , pp. 5–31.Henryk Kotlarski - 1973 - Journal of Symbolic Logic 38 (1):164.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  12
    A Model–Theoretic Approach to Proof Theory.Henryk Kotlarski - 2019 - Cham, Switzerland: Springer Verlag.
    This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the provably total functions of a theory. In the first chapter, the authors first discusses ordinal combinatorics of finite sets in the style of Ketonen and Solovay. This provides a background for an analysis of subsystems of Peano Arithmetic as well as for combinatorial (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  12
    Automorphisms of Models of True Arithmetic: More on Subgroups which Extend to a Maximal One Uniquely.Henryk Kotlarski & Bożena Piekart - 2000 - Mathematical Logic Quarterly 46 (1):111-120.
    Continuing the earlier research in [14] we give some more information about nonmaximal open subgroups of G = Aut with unique maximal extension, where ℳ is a countable recursively saturated model of True Arithmetic.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  30
    On a question of Andreas Weiermann.Henryk Kotlarski & Konrad Zdanowski - 2009 - Mathematical Logic Quarterly 55 (2):201-211.
    We prove that for each β, γ < ε0 there existsα < ε0 such that whenever A ⊆ ω is α ‐large and G: A → β is such that (∀a ∈ A)(psn(G (a)) ≤ a), then there exists a γ ‐large C ⊆ A on which G is nondecreasing. Moreover, we give upper bounds for α for small ordinals β ≤ ω (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  12
    On the End Extension Problem For Δ0‐PA(S).Henryk Kotlarski - 1989 - Mathematical Logic Quarterly 35 (5):391-397.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  28
    On the End Extension Problem For Δ0-PA.Henryk Kotlarski - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):391-397.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  26
    Some variations of the Hardy hierarchy.Henryk Kotlarski - 2005 - Mathematical Logic Quarterly 51 (4):417.
    We study some variations of the so-called Hardy hierarchy of quickly growing functions, known from the literature, and obtain analogues of Ratajczyk's approximation lemma for them.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  13
    The Recursively Saturated Part of Models of Peano Arithmetic.Henryk Kotlarski - 1986 - Mathematical Logic Quarterly 32 (19‐24):365-370.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  25
    The Recursively Saturated Part of Models of Peano Arithmetic.Henryk Kotlarski - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (19-24):365-370.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  11
    On maximal subgroups of the automorphism group of a countable recursively saturated model of PA.Roman Kossak, Henryk Kotlarski & James H. Schmerl - 1993 - Annals of Pure and Applied Logic 65 (2):125-148.
    We show that the stabilizer of an element a of a countable recursively saturated model of arithmetic M is a maximal subgroup of Aut iff the type of a is selective. This is a point of departure for a more detailed study of the relationship between pointwise and setwise stabilizers of certain subsets of M and the types of elements in those subsets. We also show that a complete type of PA is 2-indiscernible iff it is minimal in the sense (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  26.  4
    Review: A. D. Tajmanov, Characteristics of Axiomatizable Classes of Models. [REVIEW]Henryk Kotlarski - 1973 - Journal of Symbolic Logic 38 (1):164-164.
  27.  37
    Game approximations of satisfaction classes models.Roman Kossak & Henryk Kotlarski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):21-26.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  13
    Henryk Skolimowski’s Papers.Henryk Skolimowski - 2013 - Dialogue and Universalism 23 (4):7-7.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29.  5
    Henryk Elzenberg, 1887-1967: dziedzictwo idei: filozofia-aksjologia-kultura: materiały z ogólnopolskiej konferencji, Torunʹ, 15-16 maja 1997 r.Henryk Elzenberg & Włodzimierz Tyburski (eds.) - 1999 - Toruń: Wydawn. Uniwersytetu Mikołaja Kopernika.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  35
    Review of T he Direction of Time.Henryk Mehlberg - 1962 - Philosophical Review 71 (1):99.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   226 citations  
  31.  32
    The Address from Henryk Jabłoński, President of the Council of State.Henryk Jabłoński - 1977 - Dialectics and Humanism 4 (4):6-6.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  11
    The Letter from Henryk Jabłoński, President of the Council of State.Henryk Jabłoński - 1976 - Dialectics and Humanism 3 (2):4-4.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  2
    Karola Wojtyły - Jana Pawła II komunionlatyezna wizja kultury.Henryk Tomasik - 1985 - Roczniki Filozoficzne 33 (2):121-139.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  6
    Karola Wojtyły - Jana Pawła II komunionlatyezna wizja kultury.Henryk Tomasik - 1985 - Roczniki Filozoficzne 33 (2):121-139.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Jeszcze w sprawie wysłania nuncjusza papieskiego do Polski w 1563 roku.Henryk Damian Wojtyska - 2002 - Archiwum Historii Filozofii I Myśli Społecznej 47.
    No categories
     
    Export citation  
     
    Bookmark  
  36.  17
    Ehrenfest’s Theorem revisited.Henryk Stanisław Arodź - 2019 - Philosophical Problems in Science 66:73-94.
    Historically, Ehrenfest’s theorem is the first one which shows that classical physics can emerge from quantum physics as a kind of approximation. We recall the theorem in its original form, and we highlight its generalizations to the relativistic Dirac particle and to a particle with spin and izospin. We argue that apparent classicality of the macroscopic world can probably be explained within the framework of standard quantum mechanics.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37. The Reach of Science.Henryk Mehlberg - 1958 - Studia Logica 9:258-260.
     
    Export citation  
     
    Bookmark   33 citations  
  38.  30
    Physics of Time.Henryk Arodź & Maria Massalska-Arodź - 2008 - Dialogue and Universalism 18 (9-10):55-69.
    Our article is an overview of a selection of findings in physics relating to the issue of time—we do not present in it any “time theory” of our own. After making some general remarks on the issue of time, we present historical outline and a brief description of the current state of time interval measurements. Subsequently, we go on to discuss certain (relating to the concept of time) consequences of both theories of relativity: special and general. Here, time is a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  39. Physics of Time.Henryk Arodź & Maria Massalska-Arodź - 2008 - Dialogue and Universalism 18 (9-10):55-69.
    Our article is an overview of a selection of findings in physics relating to the issue of time—we do not present in it any “time theory” of our own. After making some general remarks on the issue of time, we present historical outline and a brief description of the current state of time interval measurements. Subsequently, we go on to discuss certain (relating to the concept of time) consequences of both theories of relativity: special and general. Here, time is a (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  40.  6
    Die Rolle des Kunst-Films in der ästhetischen Erziehung.Henryk Depta - 1976 - Communications 2 (2):201-206.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  4
    The Polish Transformation: Structural Changes and New Tensions.Henryk Domański - 2005 - European Journal of Social Theory 8 (4):453-470.
    This article deals with basic changes in Polish society over past 20 years. On the basis of sociological surveys, the author attempts to answer the following questions: to what extent has systemic change brought about significant changes in social stratification? In which dimensions did it take place? What are the consequences of these changes for individuals and the social system? How does Polish society differ from others? As for social stratification, the only clear and unambiguous tendencies were growing inequality and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  8
    Assorted Methods of Making of Pricing Decisions in an Enterprise.Henryk Wnorowski - 2014 - Studies in Logic, Grammar and Rhetoric 37 (1):253-261.
    Decisions concerning price development are best visible in view of their direct impact on the market activities of the company and the general level of profitability. In every activity, the success is measured by an excess of sales revenue over the costs of used resources. In an ideal case, a determined price provides the highest margin resulting from an analysis of the sales volume, takes into consideration the customer's evaluation of the product/service, and allows to react to competitive threats and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  43.  6
    The Problem of Choosing Development Paths.Henryk Wnorowski - 2019 - Studies in Logic, Grammar and Rhetoric 59 (1):227-236.
    We start from the assumption that the main problem, and at the same time the goal, is socio-economic development. We also assume that this pursuit is universal, development is the ambition of entities at all levels of aggregation, development is a desire of each country, as well as of business entities and individuals. From the other side, the governments create conditions for entities at the microeconomic level which generate additional value, that is, contribute to the creation of this development. Peculiar (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  5
    Akta XII Międzynarodowego Kongresu Religioznawczego. Sztokholm 16-22 VIII 1970.Henryk Zimoń - 1978 - Roczniki Filozoficzne 26 (2):124-126.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  4
    Metodologia i problematyka historii religii.Henryk Zimoń - 1977 - Roczniki Filozoficzne 25 (2):163-169.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  4
    Źródła do dziejów Warszawskiej Szkoły Historii Idei: materiały archiwalne i rękopiśmienne (rekonesans).Henryk Citko (ed.) - 2017 - Warszawa: Wydawnictwo IFiS PAN.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  5
    Elementy teorii prawa: (wybrane zagadnienia do wykładów i ćwiczeń z teorii państwa i prawa).Henryk Rot (ed.) - 1975 - Wrocław: Wydawnictwo Uniwersytetu Wrocławskiego.
  48.  7
    Wstęp do nauk prawnych.Henryk Rot - 1988 - Wrocław: Wydawn. Uniwersytetu Wrocławskiego.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Analiza wartości w siłach zbrojnych.Henryk Sajecki - 1979 - Warszawa: Wydawn. Ministerstwa Obrony Narodowej.
     
    Export citation  
     
    Bookmark  
  50.  11
    Jan Paweł II i Polska w wybranych przemówieniach prezydentów Stanów Zjednoczonych Ameryki: George’a Walkera Busha i Donalda Johna Trumpa.Henryk Sławiński - 2021 - Rocznik Filozoficzny Ignatianum 26 (1):139-154.
    The article deals with the perception of the Pope John Paul II and Poland in the two speeches of the Presidents of the United States of America. The George W. Bush’s speech given on the occasion of the dedication of the Pope John Paul II Cultural Center in Washington DC on March 22, 2001 and the Donald Trump’s speech delivered in front of the Warsaw Uprising Monument on the Krasinski Square in Warsaw on July 8, 2017 were used as the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 587