First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo

@article{Jger2001FirstOT,
  title={First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo},
  author={Gerhard J{\"a}ger},
  journal={J. Symb. Log.},
  year={2001},
  volume={66},
  pages={1073-1089}
}
In this paper first order theories for nonmonotone inductive definitions are introduced, and a proof-theoretic analysis for such theories based on combined operator forms à la Richter with recursively inaccessible and Mahlo closure ordinals is given. 

From This Paper

Topics from this paper.
6 Citations
25 References
Similar Papers

References

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

Admissible Sets and Structures

  • J. Barwise
  • 1975
Highly Influential
4 Excerpts

Inductive definitions and reflecting properties of admissible ordinals

  • P. Aczel, W. Richter
  • Generalized Recursion Theory. North-Holland,
  • 1974
Highly Influential
10 Excerpts

Recursively Mahlo ordinals and inductive definitions

  • W. Richter
  • In R.O. Gandy and C.E.M. Yates, editors, Logic…
  • 1971
Highly Influential
7 Excerpts

A short course in ordinal analysis

  • W. Pohlers
  • 1992
Highly Influential
4 Excerpts

Theories for Admissible Sets: A Unifying Approach to Proof Theory

  • G. Jäger
  • Bibliopolis,
  • 1986
Highly Influential
9 Excerpts

Similar Papers

Loading similar papers…