%0 Journal Article %1 journals/mlq/Jager84 %A Jäger, Gerhard %D 1984 %J Math. Log. Q. %K %N 1-6 %P 3-9 %T A Version of Kripke-Platek Set Theory which is Conservative over Peano Arithmetic. %U http://dblp.uni-trier.de/db/journals/mlq/mlq30.html#Jager84 %V 30

@article{journals/mlq/Jager84, added-at = {2023-12-13T08:13:43.000+0100}, author = {Jäger, Gerhard}, biburl = {https://www.bibsonomy.org/bibtex/240eb4964db8e5f8ae23fc58f54f5d722/admin}, ee = {http://dx.doi.org/10.1002/malq.19840300102}, interhash = {c1ea528c6566d81e86184aae8d0701d7}, intrahash = {40eb4964db8e5f8ae23fc58f54f5d722}, journal = {Math. Log. Q.}, keywords = {}, number = {1-6}, pages = {3-9}, timestamp = {2023-12-13T08:13:43.000+0100}, title = {A Version of Kripke-Platek Set Theory which is Conservative over Peano Arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/mlq/mlq30.html#Jager84}, volume = 30, year = 1984 }