Skip to main content
SpringerLink
Log in
Book cover

Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski pp 335–345Cite as

Some remarks on observational model-theoretic languages

  • Contributed Papers
  • Conference paper
  • First Online:

  • 356 Accesses

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

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. Aho A. V., Hopcroft J.E. and Ullman J.D.: The design and analysis of computer algorithms, Addison-Wesley 1974

    Google Scholar 

  2. Asser G: Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität, Zeitschr. I. Math. Logik 1 (1955) 252–263

    MathSciNet  MATH  Google Scholar 

  3. Barwise K.J.: Axioms for abstract model theory, Annals of Math. Logic 7 (1974) 221–266

    Article  MathSciNet  MATH  Google Scholar 

  4. Fagin R.: Generalized first order spectra and polynomial-time recognizable sets, in: Complexity of Computations, SIAM-AMS Proc. vol. 7, ed. R. Karp 1974, 43–73

    Google Scholar 

  5. Fagin R.: Monadic generalized spectra, Zeitschrift f. Math. Logik 21 (1975) 89–96

    Article  MathSciNet  MATH  Google Scholar 

  6. Feferman S: Applications of many-sorted interpolation theorems, in: Proceedings of the Tarski symposium (has appeared)

    Google Scholar 

  7. Feferman S.: Two notes on abstract model theory, Fundamenta Math. 82 (1974) 153–165 and 89 (1975) 111–180

    MATH  Google Scholar 

  8. Hájek P.: Generalized quantifiers and finite sets, in: Proc. of the autumn school in set theory and hierarchy theory Karpacz 1974 (to appear)

    Google Scholar 

  9. Hájek P.: On logics of discovery, in: Mathematical foundations of computer science 1975, Lecture Notes in Computer Science vol 32 ed. J. Beĉvář, Springer-Verlag 1975, p. 15–30.

    Google Scholar 

  10. Hájek P.: On semisets, in: Logic Colloquium ’69, ed. R.O. Gandy and C.M.E. Yates, Studies in Logic vol. 61, North-Holland 1971, 67–76

    Google Scholar 

  11. Hájek, P.: Why semisets? Comment. Math. Univ. Carolinae 14 (1973), 397–420

    MathSciNet  MATH  Google Scholar 

  12. Havránek T.: Statistical quantifiers in observational calculi, Theory and Decision 6 (1975) 213–230

    Article  MathSciNet  MATH  Google Scholar 

  13. Pudlák P.: The observational predicate calculus and complexity of computations, Comment. Math. Univ. Carolinae 16 (1975) 395–398

    MathSciNet  MATH  Google Scholar 

  14. Pudlák P.: Generalized quantifiers and semisets, Proceedings of the autumn school in set theory and hierarchy theory Karpacz 1974 (to appear)

    Google Scholar 

  15. Shoenfield J.R.: Mathematical Logic, Addison-Wesley 1967

    Google Scholar 

  16. Vopênka P. and Hájek P.: The theory of semisets, Studies in Logic vol. 70, North-Holland 1972

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematical Institute, Czechoslovak Academy of Sciences, 115 67, Prague, Czechoslovakia

    Petr Hájek

Authors
  1. Petr Hájek
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wiktor Marek Marian Srebrny Andrzej Zarach

Rights and permissions

Reprints and permissions

Copyright information

© 1976 Springer-Verlag

About this paper

Cite this paper

Hájek, P. (1976). Some remarks on observational model-theoretic languages. In: Marek, W., Srebrny, M., Zarach, A. (eds) Set Theory and Hierarchy Theory A Memorial Tribute to Andrzej Mostowski. Lecture Notes in Mathematics, vol 537. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0096912

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-07856-2

  • Online ISBN: 978-3-540-38122-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation