Provable and unprovable cases of transfinite induction in a theory obtained by adding to HAω so-called 'term-forms' of the kind introduced by M. Yasugi

Bibliographic Details
Main Author:	Stirton, William R.
Published:	University of Edinburgh 1995
Subjects:	510
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.662497

id	ndltd-bl.uk-oai-ethos.bl.uk-662497
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-6624972018-04-04T03:13:24ZProvable and unprovable cases of transfinite induction in a theory obtained by adding to HAω so-called 'term-forms' of the kind introduced by M. YasugiStirton, William R.1995510University of Edinburghhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.662497http://hdl.handle.net/1842/26976Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	510
spellingShingle	510 Stirton, William R. Provable and unprovable cases of transfinite induction in a theory obtained by adding to HAω so-called 'term-forms' of the kind introduced by M. Yasugi
author	Stirton, William R.
author_facet	Stirton, William R.
author_sort	Stirton, William R.
title	Provable and unprovable cases of transfinite induction in a theory obtained by adding to HAω so-called 'term-forms' of the kind introduced by M. Yasugi
title_short	Provable and unprovable cases of transfinite induction in a theory obtained by adding to HAω so-called 'term-forms' of the kind introduced by M. Yasugi
title_full	Provable and unprovable cases of transfinite induction in a theory obtained by adding to HAω so-called 'term-forms' of the kind introduced by M. Yasugi
title_fullStr	Provable and unprovable cases of transfinite induction in a theory obtained by adding to HAω so-called 'term-forms' of the kind introduced by M. Yasugi
title_full_unstemmed	Provable and unprovable cases of transfinite induction in a theory obtained by adding to HAω so-called 'term-forms' of the kind introduced by M. Yasugi
title_sort	provable and unprovable cases of transfinite induction in a theory obtained by adding to haω so-called 'term-forms' of the kind introduced by m. yasugi
publisher	University of Edinburgh
publishDate	1995
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.662497
work_keys_str_mv	AT stirtonwilliamr provableandunprovablecasesoftransfiniteinductioninatheoryobtainedbyaddingtohaōsocalledtermformsofthekindintroducedbymyasugi
_version_	1718617946046070784

Provable and unprovable cases of transfinite induction in a theory obtained by adding to HAω so-called 'term-forms' of the kind introduced by M. Yasugi

Similar Items