Apie ekvivalentų dvigubos indukcijos aksiomos pakeičiamumą
Straipsniai
Livija Maliaukienė
Vilnius Pedagogical University
Publikuota 2009-12-20
https://doi.org/10.15388/LMR.2009.45
PDF

Reikšminiai žodžiai

sekvencinis pirmos eilės predikatų skaičiavimas
adicinė aritmetika
dvigubos indukcijos aksioma

Kaip cituoti

Maliaukienė L. (2009) „Apie ekvivalentų dvigubos indukcijos aksiomos pakeičiamumą“, Lietuvos matematikos rinkinys, 50(proc. LMS), p. 253–257. doi: 10.15388/LMR.2009.45.

Santrauka

Nagrinėjamas ekvivalentus dvigubos indukcijos aksiomos (ADI) pakeičiamumas pirmos eilės predikatų skaičiavime su lygybe ir papildomais simboliais {0, \prime, P, +}. Pateikiama baigtinė, neturinti ADI, aksiomų sistema, ekvivalenti pradiniam skaičiavimui.

PDF
Kūrybinių bendrijų licencija

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.