On interpretability in PRA; The closed fragment of the interpretability logic of PRA with a constant for $I\Sigma_1$

J.J. Joosten

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined/Unknown
Journal	Journal of Logic and Computation
Publication status	Published - 2005

Cite this

@article{b228fb21a459477b9cdd033978d95161,

title = "On interpretability in PRA; The closed fragment of the interpretability logic of PRA with a constant for $I\Sigma_1$",

author = "J.J. Joosten",

year = "2005",

language = "Undefined/Unknown",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

}