Aritmetika aro
El Vikipedio
En matematika logiko aritmetika aro estas numerebla aro kiu povas esti difinita per formulo de aritmetiko de la unua ordo. La aritmetikaj aroj estas orditaj en la aritmetika hierarkio.
Funkcio
estas nomita kiel aritmetike difinebla se la grafikaĵo de f estas aritmetika aro.
[redaktu] Ekzemploj
- komputeblaj funkcioj estas aritmetike difineblaj
- Aro de ĉiuj primoj estas aritmetika
- rekursie numerigeblaj aroj estas aritmetikaj
- Teoremo de Tarski pri nedifinebleco: Se estas donita numerado νΣ sur la aritmetika formuloj de logiko de la unua ordo. Tiam la aro
, kie A estas la ara variablo libera kaj veraj propozicioj, estas ne aritmetika. (???)
[redaktu] Propraĵoj
- La komplemento de aritmetika aro estas aritmetika aro
- La nombro de aritmetikaj aroj estas numerebla.