English

Transcendence degrees over mutually generic extensions

Logic 2025-12-03 v1

Abstract

Let G0G_0,..., Gn1G_{n-1} be mutually generic over VV, each GiG_i adding at least one new real over VV. We show that the transcendence degree of the reals of V[G0,,Gn1]V[G_0, \dots, G_{n-1}] is maximal (of size continuum) over the field generated by reals coming from models V[Gi:ia]V[ G_i : i \in a], for a proper subset aa of nn. This answers a question of Fatalini and Schindler.

Cite

@article{arxiv.2512.02725,
  title  = {Transcendence degrees over mutually generic extensions},
  author = {Jonathan Schilhan},
  journal= {arXiv preprint arXiv:2512.02725},
  year   = {2025}
}

Comments

7 pages

R2 v1 2026-07-01T08:05:37.627Z