14 found
  1.  91
    Analysis Without Actual Infinity.Jan Mycielski - 1981 - Journal of Symbolic Logic 46 (3):625-633.
    We define a first-order theory FIN which has a recursive axiomatization and has the following two properties. Each finite part of FIN has finite models. FIN is strong enough to develop that part of mathematics which is used or has potential applications in natural science. This work can also be regarded as a consistency proof of this hitherto informal part of mathematics. In FIN one can count every set; this permits one to prove some new probabilistic theorems.
    Direct download (8 more)  
    Export citation  
    Bookmark   14 citations  
  2.  53
    Locally Finite Theories.Jan Mycielski - 1986 - Journal of Symbolic Logic 51 (1):59-62.
    We say that a first order theoryTislocally finiteif every finite part ofThas a finite model. It is the purpose of this paper to construct in a uniform way for any consistent theoryTa locally finite theory FIN which is syntactically isomorphic toT.Our construction draws upon the main idea of Paris and Harrington [6] and generalizes the syntactic aspect of their result from arithmetic to arbitrary theories. The first mathematically strong locally finite theory, called FIN, was defined in [1]. Now we get (...)
    Direct download (8 more)  
    Export citation  
    Bookmark   10 citations  
  3. A Lattice of Chapters of Mathematics.Jan Mycielski, Pavel Pudlák, Alan S. Stern & American Mathematical Society - 1990 - American Mathematical Society.
    Export citation  
    Bookmark   6 citations  
  4.  76
    A Mathematical Axiom Contradicting the Axiom of Choice.Jan Mycielski, H. Steinhaus & S. Swierczkowski - 1971 - Journal of Symbolic Logic 36 (1):164-166.
  5.  31
    A Lattice of Interpretability Types of Theories.Jan Mycielski - 1977 - Journal of Symbolic Logic 42 (2):297-305.
  6.  32
    Quantifier-Free Versions of First Order Logic and Their Psychological Significance.Jan Mycielski - 1992 - Journal of Philosophical Logic 21 (2):125 - 147.
  7.  22
    New Set-Theoretic Axioms Derived From a Lean Metamathematics.Jan Mycielski - 1995 - Journal of Symbolic Logic 60 (1):191-198.
  8.  34
    On the Tension Between Tarski's Nominalism and His Model Theory Pages 215-224.Jan Mycielski - 2004 - Annals of Pure and Applied Logic 126 (1-3):215-224.
    The nominalistic ontology of Kotarbinski, Slupecki and Tarski does not provide any direct interpretations of the sets of higher types which play important roles in type theory and in set theory. For this and other reasons I will interpret those theories as descriptions of some finite structures which are actually constructed in human imaginations and stored in their memories. Those structures will be described in this lecture. They are hinted by the idea of Skolem functions and Hilbert's -symbols, and they (...)
    Direct download (4 more)  
    Export citation  
  9.  63
    Meeting of the Association for Symbolic Logic, Dallas 1973.J. Donald Monk, Jan Mycielski & Jürgen Schmidt - 1973 - Journal of Symbolic Logic 38 (3):541-549.
  10.  18
    Shadows of the Axiom of Choice in the Universe $$L$$.Jan Mycielski & Grzegorz Tomkowicz - 2018 - Archive for Mathematical Logic 57 (5-6):607-616.
    We show that several theorems about Polish spaces, which depend on the axiom of choice ), have interesting corollaries that are theorems of the theory \, where \ is the axiom of dependent choices. Surprisingly it is natural to use the full \ to prove the existence of these proofs; in fact we do not even know the proofs in \. Let \ denote the axiom of determinacy. We show also, in the theory \\), a theorem which strenghtens and generalizes (...)
    No categories
    Direct download (2 more)  
    Export citation  
  11.  30
    Canonical Universes and Intuitions About Probabilities.Randall Dougherty & Jan Mycielski - 2006 - Dialectica 60 (4):357–368.
  12.  16
    Annual Meeting of the Association for Symbolic Logic Denver, 1983.Carl G. Jockusch, Richard Laver, Donald Monk, Jan Mycielski & Jon Pearce - 1984 - Journal of Symbolic Logic 49 (2):674 - 682.
  13.  10
    Strong Measure Zero and Infinite Games.Fred Galvin, Jan Mycielski & Robert M. Solovay - 2017 - Archive for Mathematical Logic 56 (7-8):725-732.
    We show that strong measure zero sets -totally bounded metric space) can be characterized by the nonexistence of a winning strategy in a certain infinite game. We use this characterization to give a proof of the well known fact, originally conjectured by K. Prikry, that every dense \ subset of the real line contains a translate of every strong measure zero set. We also derive a related result which answers a question of J. Fickett.
    No categories
    Direct download (3 more)  
    Export citation  
  14.  31
    The Meaning of Pure Mathematics.Jan Mycielski - 1989 - Journal of Philosophical Logic 18 (3):315 - 320.
    Direct download (6 more)  
    Export citation  
    Bookmark   1 citation