Finding bases of uncountable free Abelian groups is usually difficult

Noam Greenberg, Dan Turetsky, Linda Brown Westrick

Research output: Contribution to journalArticle

Abstract

We investigate effective properties of uncountable free abelian groups. We show that identifying free abelian groups and constructing bases for such groups is often computationally hard, depending on the cardinality. For example, we show, under the assumption V = L, that there is a first-order definable free abelian group with no first-order definable basis.

Original languageEnglish (US)
Pages (from-to)4483-4508
Number of pages26
JournalTransactions of the American Mathematical Society
Volume370
Issue number6
DOIs
Publication statusPublished - Jan 1 2018

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Mathematics(all)
  • Applied Mathematics

Cite this