Apie kai kurias dvigubas indukcijos pakeičiamumo sąlygas
Straipsniai
Livija Maliaukienė
Vilnius Pedagogical University
Publikuota 2008-12-21
https://doi.org/10.15388/LMR.2008.18109
PDF

Reikšminiai žodžiai

sekvencinis pirmos eilės predikatų skaičiavimas
aditinė aritmetika
dvigubos indukcijos aksiomos įrodomumas

Kaip cituoti

Maliaukienė L. (2008) „Apie kai kurias dvigubas indukcijos pakeičiamumo sąlygas“, Lietuvos matematikos rinkinys, 48(proc. LMS), p. 275–277. doi: 10.15388/LMR.2008.18109.

Santrauka

Nagrinėjamas dvigubos indukcijos aksiomos (ADI) su bekvantorine indukcine formule įrodomumas  adicinėje aritmetikoje, pašalinant [2] straipsnyje taikytą apribojimą. Pateikiama baigtinė aksiomų sistema,
kurioje įrodoma ADI bei šių aksiomų įrodomumas su dviguba indukcijos aksioma.  

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.