Struktura podmodelů - Diagonální nerozlišitelnost v modelech aritmetiky

Abstrakt

Struktura podmodelů - Diagonální nerozlišitelnost v modelech aritmetiky

Klíčová slova

• Structure
• Submodels
• Diagonal
• indiscernibility
• Models
• Arithmetic