"Flexible" Predicates of Formal Number Theory

Author(s): Saul A. Kripke

Source: 

Proceedings of the American Mathematical Society, Vol. 13, No. 4 (Aug., 1962), pp. 647

-650

Published by: American Mathematical Society

Stable URL: 

http://www.jstor.org/stable/2034844

Accessed: 26/10/2008 10:17

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at

http://www.jstor.org/page/info/about/policies/terms.jsp

. JSTOR's Terms and Conditions of Use provides, in part, that unless

you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you
may use content in the JSTOR archive only for your personal, non-commercial use.

Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at

http://www.jstor.org/action/showPublisher?publisherCode=ams

.

Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed
page of such transmission.

JSTOR is a not-for-profit organization founded in 1995 to build trusted digital archives for scholarship. We work with the
scholarly community to preserve their work and the materials they rely upon, and to build a common research platform that
promotes the discovery and use of these resources. For more information about JSTOR, please contact support@jstor.org.

American Mathematical Society is collaborating with JSTOR to digitize, preserve and extend access to
Proceedings of the American Mathematical Society.

http://www.jstor.org

Document Outline

• Article Contents
  • p. 647
  • p. 648
  • p. 649
  • p. 650
• Issue Table of Contents
  • Proceedings of the American Mathematical Society, Vol. 13, No. 4 (Aug., 1962), pp. 495-670
    • Front Matter
    • Absolute F Spaces [pp. 495-499]
    • Generating Reflections for U(2, p) [pp. 500-502]
    • Algebraic Topology Criteria for Minimal Sets [pp. 503-508]
    • A Note on Cohomology Addition [pp. 509-510]
    • On Complete Bergman Metrics [pp. 511-513]
    • Test Spaces for Normal Spaces [pp. 514-517]
    • On Duality in Proximity Spaces [pp. 518-523]
    • Certain Hadamard Designs [pp. 524-531]
    • Decomposability of Modules [pp. 532-535]
    • Arithmetical Notes. VIII. An Asymptomatic Formula of Rényi [pp. 536-539]
    • Theorems on Direct Sums of Modules [pp. 540-542]
    • On Pseudo-Simple Universal Algebras [pp. 543-546]
    • A Note on Finite Fields [pp. 546-549]
    • On Quasi-Decompositions of Torsion Free Abelian Groups [pp. 550-554]
    • Local Varieties and Asymptotic Equivalence [pp. 555-561]
    • Maximal Subfields of an Algebraically Closed Field not Containing a Given Element [pp. 562-566]
    • Embedding Numbers for Finite Groups [pp. 567-570]
    • Some Results on Doubly Stochastic Matrices [pp. 571-579]
    • Cardinality of Level Sets of Rademacher Series Whose Coefficients form a Geometric Progression [pp. 579-584]
    • Convolutions of Schlicht Functions [pp. 585-589]
    • Self-Adjoint Toeplitz Operators and Associated Orthonormal Functions [pp. 590-595]
    • A Limit Theorem for the Fractional Parts of the Sequence {2} [pp. 596-600]
    • A Stability Criterion for Hill's Equation [pp. 601-603]
    • Comparison Theorems for Linear Differential Equations of Second Order [pp. 603-610]
    • Output Completeness in Sequential Machines [pp. 611-614]
    • Upper and Lower Bounds of the Norm of Solutions of Differential Equations [pp. 615-616]
    • Geometrical Properties of Equipotential Surfaces [pp. 617-618]
    • Über Die Extremalen Polynome Eines Durch Zwei Knoten Unterteilten Kreises [pp. 619-625]
    • On Redundancy of Powers and the Moment Problem [pp. 625-630]
    • Direct Decompositions of Lattices of Continuous Functions [pp. 631-634]
    • Generalized Local Integrability [pp. 635-639]
    • On Asymptotic Occupancy Times of the Wiener Process [pp. 640-644]
    • On a Theorem by I. Glicksberg [pp. 645-646]
    • "Flexible" Predicates of Formal Number Theory [pp. 647-650]
    • Strong Convergence in a Product Space [pp. 651-655]
    • On the Basis Problem in Normed Spaces [pp. 655-658]
    • On the Classification of Periodic Flows [pp. 659-662]
    • Shorter Notes: Short Proof of a Theorem of Wintner on Asymptotic Integrations of the Adiabatic Oscillator [pp. 663-664]
    • Shorter Notes: Remark on π(x) = 0(x) [pp. 664-665]
    • Shorter Notes: An Inequality for Nonnegative Entire Functions [pp. 666-667]
    • Shorter Notes: Representations of Banach Spaces [pp. 667-668]
    • Shorter Notes: On a Result of Hadamard Concerning the Sign of the Precession of a Heavy Symmetrical Top [pp. 669-670]
    • Back Matter