This is an introductory paper to a series of results linking generic absoluteness results for second and third order number theory to the model theoretic notion of model companionship. Specifically we develop here a general framework linking Woodin's generic absoluteness results for second order number theory and the theory of universally Baire sets to model companionship and show that (with the required care in details) a Pi(2)-property formalized in an appropriate language for second order number theory is forcible from some T superset of ZFC+large cardinals if and only if it is consistent with the universal fragment of T if and only if it is realized in the model companion of T. In particular we show that the first order theory of H-omega 1 is the model companion of the first order theory of the universe of sets assuming the existence of class many Woodin cardinals, and working in a signature with predicates for Delta(0)-properties and for all universally Baire sets of reals. We will extend these results also to the theory of H-aleph 2 in a follow up of this paper.

Second order arithmetic as the model companion of set theory

Venturi, G
Co-first
;
Viale, M
Co-first
2023-01-01

Abstract

This is an introductory paper to a series of results linking generic absoluteness results for second and third order number theory to the model theoretic notion of model companionship. Specifically we develop here a general framework linking Woodin's generic absoluteness results for second order number theory and the theory of universally Baire sets to model companionship and show that (with the required care in details) a Pi(2)-property formalized in an appropriate language for second order number theory is forcible from some T superset of ZFC+large cardinals if and only if it is consistent with the universal fragment of T if and only if it is realized in the model companion of T. In particular we show that the first order theory of H-omega 1 is the model companion of the first order theory of the universe of sets assuming the existence of class many Woodin cardinals, and working in a signature with predicates for Delta(0)-properties and for all universally Baire sets of reals. We will extend these results also to the theory of H-aleph 2 in a follow up of this paper.
2023
62
1-2
29
53
Model Companion; Generic Absoluteness; Forcing; Large Cardinals; Robinson Infinite Forcing
Venturi, G; Viale, M
File in questo prodotto:
File Dimensione Formato  
AFML-D-21-00027.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 736.5 kB
Formato Adobe PDF
736.5 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1930530
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 3
social impact