On counting problems in nonstandard models of Peano arithmetic with applications to groups

[摘要] Coding devices in Peano arithmetic (PA) allow complicated finite objects such as groups to be encoded in a model \(M\) ╞ PA. We call such coded objects \(M\) -finite. This thesis concerns \(M\) -finite abelian groups, and counting problems for \(M\)-finite groups. We define a notion of cardinality for non-\(M\) -finite sets via the suprema and infima of appropriate \(M\) -finite sets, if these agree we call the set \(M\) -countable. We investigate properties of \(M\) -countable sets and give examples which demonstrate marked differences to measure theory. Many of the pathologies are related to the arithmetic of cuts and we show what can be recovered in special cases. We propose a notion of measure that mimics the Carathéodory definition.We show that an \(M\) -countable subgroup of any \(M\) -finite group has an \(M\) -countable transversal of appropriate cardinality.We look at \(M\) -finite abelian groups. After discussing consequences of the basis theorem we concentrate on the case of a single \(M\) -finite group \(C\)(\(p\)\(^k\)) and investigate its external structure as an infinite abelian group. We prove that certain externally divisible subgroups of \(C\)(\(p\)\(^k\)) have \(M\) -countable complements. We generalize this result to show that \(d\)\(G\), the divisible part of \(G\), has an \(M\) -countable complement for a general \(M\) -finite abelian \(G\).

[发布机构] University:University of Birmingham;Department:School of Mathematics

[关键词] Q Science;QA Mathematics