Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen

@article{Jger1980ZurBD,
  title={Zur Beweistheorie Der Kripke-Platek-Mengenlehre {\"U}ber Den Nat{\"u}rlichen Zahlen},
  author={Gerhard J{\"a}ger},
  journal={Arch. Math. Log.},
  year={1980},
  volume={22},
  pages={121-139}
}
Die Beweistheorie hat sich bisher vorwiegend mit der Zahlentheorie und mit Teilsystemen der Analysis besch~iftigt. Es hat sich dabei vor allem bei der Behandtung induktiver Definitionen gezeigt, dab das Zusammenspiel von Beweistheorie und Definierbarkeitstheorie ~iuBerst fruchtbar ist (vgl. [2, 4, i0]). Ein Aspekt bei der Untersuchung yon Teilsystemen der Mengenlehre ist es, diese nattirlichen Zusammenh~inge durch Anlehnung an die konstruktible Hierarchie noch weiter aufzudecken und auszubauen… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 10 references

Beweistheorie yon KPN

  • G. Jiiger
  • Arch. math. Logik 20,
  • 1980
3 Excerpts

Beweistheorie der iterierten induktiven Definitionen

  • W. Pohlers
  • Habilitationsschrift, Miinchen,
  • 1977
2 Excerpts

Eine Erweiterung der Schnitteliminationsmethode

  • W. Buchholz
  • Habilitationsschrift, Mtinchen,
  • 1977
3 Excerpts

Set theoretic foundations for constructive analysis

  • H. Friedman
  • Ann. Math. 105,
  • 1977
2 Excerpts

Predicatively reducible systems of set theory

  • S. Feferman
  • Set Theory. II. Am. Math. Soc.,
  • 1974
3 Excerpts

Applications of the cut-elimination theorem to some subsystems of classical analysis

  • W. W. Tait
  • Intuitionism and Proof Theory. Amsterdam: North…
  • 1970
2 Excerpts

Formal theories for transfinite iterations of generalized inductive definitions and some subsystems of analysis

  • S. Feferman
  • Intuitionism and Proof Theory. Amsterdam: North…
  • 1970
2 Excerpts

Normal derivability in classical logic

  • W. W. Tait
  • Lecture Notes in Mathematics,
  • 1968
3 Excerpts

Similar Papers

Loading similar papers…