L’albero binario (libero) è una struttura analoga a quella dei numeri naturali (standard), salvo che ci sono due operazioni di successivo. Nello studio degli alberi binari non standard, si ha bisogno di strutture ordinate che stiano a quella di albero binario libero come la struttura (ordinata) Z sta ad N. Si introducono perciò i clan binari e se ne studiano le classi di isomorfismo. Si dimostra che esse sono determinate dalle classi di similitudine delle successioni numerabili di 2 elementi, avendo chiamato «simili» due tali successioni quando – a meno di traslazioni – esse coincidono da un certo punto in poi.
Referenze Bibliografiche
[2] F. Fiorenzi, Gli Alberi Sradicati Binari come concetto essenziale per la descrizione dei modelli di EAB. Dipartimento di Matematica, Università degli Studi di Parma, quaderno n. 152, ottobre 1996.
[3] F. Fiorenzi, Albero binario libero. Dipartimento di Matematica, Università degli Studi di Parma, quaderno n. 153, novembre 1996.
[4] M. Servi, Note sulla definizione di «albero». Dipartimento di Matematica, Università degli Studi di Parma, Appunti per le lezioni di «Critica dei Principi», 1995.
[5] M. Servi, Albero binario e classificazione dei clan binari (numeri naturali binari e numeri interi binari). Dipartimento di Matematica, Università degli Studi di Parma, quaderno n. 112, marzo 1995.
[6] M. Servi, Classificazione dei Clan binari. Dipartimento di Matematica, Università degli Studi di Parma, quaderno n. 113, giugno 1995.
[7] M. Servi, Alberi binari non standard. Comunicazione tenuta al XVI Incontro di Logica (Genova, 24- 26 ottobre 1996).