Interpretace Robinsonovy aritmetiky v její Grzegorczykově slabší variantě

Abstrakt

V článku je zkonstruována interpretace Robinsonovy aritmetiky v její slabší variantě, kterou uvažoval A. Grzegorczyk a v níž sčítání a násobení jsou netotálními funkcemi.

Klíčová slova

• Interpretation
• Robinson
• Arithmetic
• Grzegorczyk&apos
• s
• Weaker
• Variant