On a Diophantine representation of the predicate of provability

Carl, M. and Moroz, B. Z. (2007) On a Diophantine representation of the predicate of provability. MPIM Preprint Series 2007 (132).

	Text preprint_2007_132.pdf Download (176kB)
	Text preprint_2007_132.ps Download (402kB)

Item Type:	MPIM Preprint
Divisions:	Research > Preprints
Depositing User:	This Admin
Date Deposited:	23 Dec 2020 19:39
Last Modified:	23 Dec 2020 19:39
URI:	https://archive.mpim-bonn.mpg.de/id/eprint/581

View Item