23. Tarski's Theorem

  1. Zofia Adamowicz1 and
  2. Paweł Zbierski2

Published Online: 30 SEP 2011

DOI: 10.1002/9781118032541.ch23

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) Tarski's Theorem, in Logic of Mathematics: A Modern Course of Classical Logic, John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9781118032541.ch23

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:

  • Tarski's theorem;
  • Hilbert's seventeenth problem;
  • open formula;
  • inductive step;
  • definable subsets

Summary

This chapter contains sections titled:

  • Lemma 1

  • Definition

  • Lemma 2