[i][c]
Dalla Chiara Scabia, M. L.
Modelli sintattici e semantici delle teorie elementari
Feltrinelli
[Filosofia della Scienza 10]
Milano 1968.12
Cover
#epistemologia

Privacy Policy

  [i][c] INDICE:
2[collana.lista]
3[collana]
4[colophon]
5[frontespizio]
1968.05;55457Prefazione [ di Maria Luisa Dalla Chiara Scabia ] 
{titolo}
9      Introduzione
27      Parte prima.Sintassi
29            Premessa
33            Capitolo primo.Sintassi intuitiva delle teorie elementari
33                  1.I sistemi formali elementari
40                  2.Cinque esempi di sistemi formali elementari
44                  3.Proprietà fondamentali dei sistemi formali
62            Capitolo secondo.Omomorfismi e isomorfismi teoretici
66                  1.Traducibilità, interpretabilità e interpretabilità relativa di una teoria ℑ1 in una teoria ℑ2. Teorie isomorfe
69                  2.Proprietà generali degli omomorfismi ed isomorfismi teoretici
74                  3.Alcuni esempi
78                  4.Modelli interni
98                  5.Il semiordine teoretico
104            Capitolo terzo.Formalizzazione della sintassi
127      Parte seconda.Semantica
129            Premessa
133            Capitolo quarto.Semantica intuitiva e formalizzazione della semantica
133                  1.Semantica intuitiva delle teorie elementari
136                  2.Formalizzazione della semantica
145                  3.Concetti e teoremi semantici fondamentali
158                  4.Teorie semanticamente chiuse. Teorema di Tarski
162            Capitolo quinto.Modelli semantici delle teorie elementari dei semiordini, dei gruppi, dei numeri naturali, dei numeri reali
175            Capitolo sesto.Modelli semantici della teoria elementare degli insiemi
176                  1.Modelli naturali e modelli costruibili. Il modello primo di ℨ𝔉
186                  2.Modelli generici
209                  3.Il paradosso di Skolem e altre difficoltà della teoria elementare degli insiemi
213      Conclusione
225      Bibliografia
231      Indice dei nomi e dei termini
237      Indice dei simboli principali
239      Indice
239      _
240      [tipografia]
240      ___

 
 [i][c] CRONOLOGIA:
 
 
1800 1800 1900 1900 2000 2000 1850 1950 2050 Dalla Chiara Scabia, Maria Luisa ( 1938.071 - ) https://www.unifi.it/p-doc2-2013-200007-D-3f2a362932302d-0.html Dalla Chiara Scabia, Maria Luisa I.T.E.C., ( 0 - ) I.T.E.C., ( 0 - ) I.T.E.C., Tarski, Alfred ( 1901.0114 - 1983.1026 ) https://en.wikipedia.org/wiki/Alfred_Tarski Tarski, Alfred Skolem, Thoralf Albert ( 1887.0523 - 1963.0323 ) https://en.wikipedia.org/wiki/Thoralf_Skolem Skolem, Thoralf Albert 1787.0523 4422.1107 1968.12



Generato il giorno: 2022-11-07T13:19:25+01:00 (Unix Time: 1667823565)
Precedente aggiornamento il giorno: 2021.0506
Prima registrazione il giorno: 2021.0506
Aggiornato 2 volte
Dimensione approssimata della pagina: 21043 caratteri (body: 19269)
Versione: 1.0.48

Privacy Policy