Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] del 1952 di Ryll-Nardzewski sulla non assiomatizzabilità di AP, cui molti altri sono seguiti riguardanti le risolubilità delle equazionidiofantee (Michael O. Rabin nel 1962, Haim Gaifman nel 1972 e nel 1976), l'esistenza di estensioni finali (in cui ...
Leggi Tutto
diofanteo
diofantèo agg. – Relativo a Diofanto (gr. Διόϕαντος), matematico greco vissuto in Alessandria intorno al 250 d. C.: equazioni d., le equazioni lineari, a coefficienti interi, di cui si chiedono le soluzioni in numeri interi; analisi...
indeterminato
agg. [dal lat. tardo indeterminatus]. – 1. Non determinato: a. Di cosa che non sia stata precisata, definita con esattezza: la riunione si terrà in luogo ancora i.; rinviare (o affidare un incarico, chiudere un esercizio, ecc.)...