Independence proofs in arithmetic theories with very weak induction

Details 詳細情報について

• CRID

  1130000797002848512

• NII Book ID

  BB24695553

• LCCN

  74172140

• Web Site

  https://lccn.loc.gov/74172140

• Text Lang

  de

• Country Code

  gw

• Title Language Code

  en

• Place of Publication

  • Bonn

• Classification

  • LCC: QA1
  • LCC: QA9.7
  • DC: 510/.8 s
  • DC: 511/.3

• Subject

  • LCSH: Model theory
  • LCSH: Independence (Mathematics)

• Data Source

  • CiNii Books