Skip to main content
SpringerLink
Log in
Book cover

Conference in Mathematical Logic — London ’70 pp 63–97Cite as

Infinitary properties, local functors, and systems of ordinal functions

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 255))

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Aczel, Normal functors on linear orderings (abstract), J. Symbolic Logic 32 (1967), 430.

    Article  Google Scholar 

  2. J. Ax and S. Kochen, Diophantine problems over local fields, III. Decidable fields, Ann. of Math. 83 (1966), 437–456.

    Article  MathSciNet  MATH  Google Scholar 

  3. J. Barwise, Back and forth thru infinitary logic (to appear).

    Google Scholar 

  4. J. Barwise and P. Eklof, Infinitary properties of Abelian torsion groups, Ann. of Math. Logic, 2 (1970), 25–68.

    Article  MathSciNet  MATH  Google Scholar 

  5. M. Benda, Reduced products and non-standard logics, J. Symbolic Logic 34 (1969), 424–436.

    Article  MathSciNet  MATH  Google Scholar 

  6. J. P. Calais, La méthode de Fraissé dans les langages infinis, C. R. Acad. Sci. Paris 268 (1969), 785–788.

    MathSciNet  MATH  Google Scholar 

  7. C. C. Chang, Infinitary properties of models generated by indiscernibles, Logic, Methodology and Philos. of Sci. III (v. Rootselaar and Staal, eds.), Amsterdam (1968), 9–21.

    Google Scholar 

  8. J. E. Doner, An extended arithmetic of ordinal numbers and its metamathematics, Dissertation, Berkeley (1969).

    MATH  Google Scholar 

  9. A. Ehrenfeucht, An application of games to the completeness problem for formalized theories, Fund. Math. 49 (1961) 129–141.

    MathSciNet  MATH  Google Scholar 

  10. S. Feferman, Some recent work of Ehrenfeucht and Fraissé, Summary of Talks at A.M.S. Summer Inst. in Logic at Cornell, 1957, 201–209.

    Google Scholar 

  11. S. Feferman, Systems of predicative analysis, II: representations of ordinals, J. Symbolic Logic, 33 (1968) 193–220.

    Article  MathSciNet  MATH  Google Scholar 

  12. S. Feferman, Hereditarily replete functionals over the ordinals, Intuitionism and Proof Theory (Myhill, Kino, Vesley, eds.) Amsterdam (1970) 289–302.

    Google Scholar 

  13. S. Feferman and R. L. Vaught, The first-order properties of products of algebraic systems, Fund. Math. 47 (1959) 57–103.

    MathSciNet  MATH  Google Scholar 

  14. R. Fraissé, Sur quelques classifications des relations, basées sur des isomorphismes restreints, Publ. Sci. Univ. d'Alger Sér. A, vol. II (1955), Part I, 15–60, Part II, 273–295.

    Google Scholar 

  15. C. Karp, Finite-quantifier equivalence, The Theory of Models (Addison, Henkin, Tarski, eds.), Amsterdam (1965), 407–412.

    Google Scholar 

  16. G. Kreisel, A survey of proof theory, (Part I) J. Symbolic Logic 33 (1968), 321–388, (Part II to appear).

    Article  MathSciNet  MATH  Google Scholar 

  17. J. Lambek, Lectures on rings and modules, Waltham (1966), viii + 183 pp.

    Google Scholar 

  18. B. Mitchell, Theory of categories, New York (1965), xi + 273 pp.

    Google Scholar 

  19. P. Olin, Direct multiples and powers of modules (to appear in Fund. Math.).

    Google Scholar 

  20. P. Olin, Products of two-sorted structures (to appear in J. Symbolic Logic).

    Google Scholar 

  21. L. T. Ollmann, Operators on models, Dissertation, Cornell (1970).

    Google Scholar 

  22. D. Scott, Definability in polynomial rings (abstract), Notices A.M.S. 5 (1958), 221–222.

    Google Scholar 

  23. A. Tarski and R. L. Vaught, Arithmetical extensions of relational systems, Compos. Math. 13 (1957), 81–102.

    MathSciNet  MATH  Google Scholar 

  24. P. Eklof, Lefschetz' principle and local functors (to appear).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Stanford University, USA

    Solomon Feferman

Authors
  1. Solomon Feferman
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wilfrid Hodges

Rights and permissions

Reprints and permissions

Copyright information

© 1972 Springer-Verlag

About this paper

Cite this paper

Feferman, S. (1972). Infinitary properties, local functors, and systems of ordinal functions. In: Hodges, W. (eds) Conference in Mathematical Logic — London ’70. Lecture Notes in Mathematics, vol 255. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0059538

Download citation

  • DOI: https://doi.org/10.1007/BFb0059538

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-05744-4

  • Online ISBN: 978-3-540-37162-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation