Skip to main content

Super Models

Abstract

Published originally in: Patoluoto, I., Saarinen, E., Stenman, P., (eds.) (1983). Vexing Questions, An Urnful of Essays in Honour of Veikko Rantala on the Occasion of His Fiftieth Birthday. Reports from the Department of Philosophy, University of Helsinki, 3, pp. 12–18.

This is a preview of subscription content, access via your institution.

References

  1. Hintikka, J.: Distributive Normal Forms in the Calculus of Predicates, Acta Philosophica Fennica, vol. 6, Helsinki (1953)

  2. Hintikka, J.: Distributive normal forms in first-order logic. In: Logic. Language-Games and Information. Clarendon Press, Oxford (1973)

  3. Rantala, V.: On the Theory of Definabitity of First-Order Logic, Reports from the Department of Philosophy, University of Helsinki, 2, Helsinki (1973)

  4. Rantala, V.: Aspects of definability. Acta Philosophica Fennica, vol. 29, nos. 2–3, Helsinki (1977)

  5. Rantala, V.: Constituents. In: Bogdan, R. (ed.) Jaakko Hintikka: A Profile, pp. 43–76. Reidel, Dordrecht (1987)

    Chapter  Google Scholar 

  6. Shoenfield, J.: Mathematical Logic. Addison-Wesley, New York (1977)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jaakko Hintikka.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Updated version of the original publication, Reports from the Department of Philosophy, University of Helsinki, 3, (1983) pp. 12–18. Reprinted with permission.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Hintikka, J. Super Models. Log. Univers. 13, 147–150 (2019). https://doi.org/10.1007/s11787-019-00223-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-019-00223-3

Keywords

  • Supermodels
  • Constituents
  • Definability
  • Trees

Mathematics Subject Classification

  • Primary 03C30
  • Secondary 03C50