12. Definability

  1. Zofia Adamowicz1 and
  2. Paweł Zbierski2

Published Online: 30 SEP 2011

DOI: 10.1002/9781118032541.ch12

Logic of Mathematics: A Modern Course of Classical Logic

Logic of Mathematics: A Modern Course of Classical Logic

How to Cite

Adamowicz, Z. and Zbierski, P. (1997) Definability, in Logic of Mathematics: A Modern Course of Classical Logic, John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9781118032541.ch12

Author Information

  1. 1

    Institute of Mathematics of the Polish Academy of Sciences

  2. 2

    Department of Mathematics, Warsaw University

Publication History

  1. Published Online: 30 SEP 2011
  2. Published Print: 18 MAR 1997

ISBN Information

Print ISBN: 9780471060260

Online ISBN: 9781118032541

SEARCH

Keywords:

  • definable notions;
  • relation symbols;
  • function symbols;
  • substitution lemma;
  • completeness theorem

Summary

This chapter contains sections titled:

  • Theorem

  • Definability with Parameters