Highly Influenced

# 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} }

- Published 2001 in J. Symb. Log.

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

#### Citations

##### Publications citing this paper.

Showing 1-6 of 6 extracted citations

#### References

##### Publications referenced by this paper.

Showing 1-10 of 25 references

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential