On a diophantine representation of the predicate of provability

Carl, M. and Moroz, B. Z. (2006) On a diophantine representation of the predicate of provability. MPIM Preprint Series 2006 (129).

	Text preprint_2006_129.ps Download (346kB)
	Text preprint_2006_129.pdf Download (149kB)

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/510

View Item