"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

Wyszukiwarka

Podobne podstrony:
54 767 780 Numerical Models and Their Validity in the Prediction of Heat Checking in Die
Table of Ordinal Numbers
57 815 828 Prediction of Fatique Life of Cold Forging Tools by FE Simulation
Gardner The Science of Multiple Intelligences Theory
PRESUPPOSITIONS OF THE GAME THEORY
PREDICTION OF EMBANKMENT SETTLEMENT OVER SOFT1
Boudon Limitations of rational choice theory
index of UN number id 212672 Nieznany
Prediction Of High Weight Polymers Glass Transition Temperature Using Rbf Neural Networks Qsar Qspr
Bertalanffy The History and Status of General Systems Theory
Neubauer Prediction of Reverberation Time with Non Uniformly Distributed Sound Absorption
Clark Elementary Number Theory
Algebraic Number Theory (Math 784 instructors notes) (1997) WW
Comparing ANN Based Models with ARIMA for Prediction of FOREX
Realism, as one of the Grand Theory of International 2
Chak, Leung Shyness and Locus of Control as Predictors of Internet Addiction and Internet Use
Longitudinal Prediction of Adolescent NSSI Examination of a Cognitive Vulnerability Stress Model

więcej podobnych podstron

FLEXIBLE PREDICATES OF FORMAL NUMBER THEORY

Document Outline