A course in model theory

Poizat, B. (2000). A course in model theory: an introduction to contemporary mathematical logic. Springer.

Type

Book

Intellectual base

Textbook

Year

2000

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Kripke–Platek set theory
  • Kripke–Platek set theory is an axiomatic set theory weaker than ZF whose comprehension and collection schemes are restricted to bounded formulas.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:6ab5a97e0a00 · see in the full table