Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Teoria dei modelli : 17-20 Novembre 1969
| Teoria dei modelli : 17-20 Novembre 1969 |
| Autore | Istituto nazionale di alta matematica <Roma> |
| Edizione | [Istituto Nazionale di Alta Matematica (INDAM), 1971] |
| Pubbl/distr/stampa | London : Academic Press, 1971 |
| Descrizione fisica | 467 p. ; 25 cm. |
| Disciplina | 510 |
| Collana | Symposia mathematica ; 5 |
| Soggetto topico |
Model theory
Proceedings of conferences of general interest |
| Classificazione |
AMS 00B
AMS 03C |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001419189707536 |
Istituto nazionale di alta matematica <Roma>
|
||
| London : Academic Press, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
The theory of ultrafilters / W. W. Comfort, S. Negrepontis
| The theory of ultrafilters / W. W. Comfort, S. Negrepontis |
| Autore | Comfort, W. Wistar |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1974 |
| Descrizione fisica | x, 482 p. ; 24 cm. |
| Disciplina | 514.3 |
| Altri autori (Persone) | Negrepontis, Stylianosauthor |
| Collana | Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics, 0072-7830 ; 211 |
| Soggetto topico |
Model theory
Ultrafilters |
| ISBN | 3540066047 |
| Classificazione |
AMS 03C99
AMS 04A20 AMS 54D80 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001439189707536 |
|
Comfort, W. Wistar
|
||
| Berlin ; New York : Springer-Verlag, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Topological model theory / / Jörg Flum, Martin Ziegler
| Topological model theory / / Jörg Flum, Martin Ziegler |
| Autore | Flum Jörg |
| Edizione | [1st ed. 1980.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [1980] |
| Descrizione fisica | 1 online resource (X, 154 p.) |
| Disciplina | 511.34 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico | Model theory |
| ISBN | 3-540-38544-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466668003316 |
|
Flum Jörg
|
||
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [1980] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Topological model theory / Jorg Flum, Martin Ziegler
| Topological model theory / Jorg Flum, Martin Ziegler |
| Autore | Flum, Jorg |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1980 |
| Descrizione fisica | x, 149 p. : ill. ; 25 cm. |
| Disciplina | 515.73 |
| Altri autori (Persone) | Ziegler, Martinauthor |
| Collana | Lecture notes in mathematics, 0075-8434 ; 769 |
| Soggetto topico |
Model theory
Nonclassical logic Topological spaces |
| ISBN | 3540097325 |
| Classificazione |
AMS 03B60
AMS 46A99 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001450909707536 |
|
Flum, Jorg
|
||
| Berlin : Springer-Verlag, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
A unified approach to structural limits and limits of graphs with bounded tree-depth / / Jaroslav Nešetřil, Patrice Ossona de Mendez
| A unified approach to structural limits and limits of graphs with bounded tree-depth / / Jaroslav Nešetřil, Patrice Ossona de Mendez |
| Autore | Nešetřil Jaroslav |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2020] |
| Descrizione fisica | 1 online resource (120 pages) |
| Disciplina | 511.3/4 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Algebra, Boolean
Functional analysis Model theory Trees (Graph theory) Combinatorics {For finite fields, see 11Txx} -- Graph theory {For applications of graphs, see 68R10, 81Q30, 81T15, 82B20, 82C20, 90C35, 92E10, 94C15} -- None of the above, but in this section Mathematical logic and foundations -- Model theory -- Applications of model theory [See also 03C60] Mathematical logic and foundations -- Model theory -- Finite structures [See also 68Q15, 68Q19] Measure and integration {For analysis on manifolds, see 58-XX} -- Set functions and measures on spaces with additional structure [See also 46G12, 58C35, 58D20] -- Integration theory via linear functio Order, lattices, ordered algebraic structures [See also 18B35] -- Boolean algebras (Boolean rings) [See also 03G05] -- Stone spaces (Boolean spaces) and related structures |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-5652-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | General theory -- Modelings for sparse structures -- Limits of graphs with bounded tree-depth. |
| Record Nr. | UNINA-9910480829503321 |
|
Nešetřil Jaroslav
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A unified approach to structural limits and limits of graphs with bounded tree-depth / / Jaroslav Nešetřil, Patrice Ossona de Mendez
| A unified approach to structural limits and limits of graphs with bounded tree-depth / / Jaroslav Nešetřil, Patrice Ossona de Mendez |
| Autore | Nešetřil Jaroslav |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2020] |
| Descrizione fisica | 1 online resource (120 pages) |
| Disciplina | 511.3/4 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Algebra, Boolean
Functional analysis Model theory Trees (Graph theory) Combinatorics {For finite fields, see 11Txx} -- Graph theory {For applications of graphs, see 68R10, 81Q30, 81T15, 82B20, 82C20, 90C35, 92E10, 94C15} -- None of the above, but in this section Mathematical logic and foundations -- Model theory -- Applications of model theory [See also 03C60] Mathematical logic and foundations -- Model theory -- Finite structures [See also 68Q15, 68Q19] Measure and integration {For analysis on manifolds, see 58-XX} -- Set functions and measures on spaces with additional structure [See also 46G12, 58C35, 58D20] -- Integration theory via linear functio Order, lattices, ordered algebraic structures [See also 18B35] -- Boolean algebras (Boolean rings) [See also 03G05] -- Stone spaces (Boolean spaces) and related structures |
| ISBN | 1-4704-5652-4 |
| Classificazione | 03C1303C9805C9906E1528C05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | General theory -- Modelings for sparse structures -- Limits of graphs with bounded tree-depth. |
| Record Nr. | UNINA-9910794062003321 |
|
Nešetřil Jaroslav
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A unified approach to structural limits and limits of graphs with bounded tree-depth / / Jaroslav Nešetřil, Patrice Ossona de Mendez
| A unified approach to structural limits and limits of graphs with bounded tree-depth / / Jaroslav Nešetřil, Patrice Ossona de Mendez |
| Autore | Nešetřil Jaroslav |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2020] |
| Descrizione fisica | 1 online resource (120 pages) |
| Disciplina | 511.3/4 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Algebra, Boolean
Functional analysis Model theory Trees (Graph theory) Combinatorics {For finite fields, see 11Txx} -- Graph theory {For applications of graphs, see 68R10, 81Q30, 81T15, 82B20, 82C20, 90C35, 92E10, 94C15} -- None of the above, but in this section Mathematical logic and foundations -- Model theory -- Applications of model theory [See also 03C60] Mathematical logic and foundations -- Model theory -- Finite structures [See also 68Q15, 68Q19] Measure and integration {For analysis on manifolds, see 58-XX} -- Set functions and measures on spaces with additional structure [See also 46G12, 58C35, 58D20] -- Integration theory via linear functio Order, lattices, ordered algebraic structures [See also 18B35] -- Boolean algebras (Boolean rings) [See also 03G05] -- Stone spaces (Boolean spaces) and related structures |
| ISBN | 1-4704-5652-4 |
| Classificazione | 03C1303C9805C9906E1528C05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | General theory -- Modelings for sparse structures -- Limits of graphs with bounded tree-depth. |
| Record Nr. | UNINA-9910819234303321 |
|
Nešetřil Jaroslav
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Soggetto topico
-
Model theory
(147)
- Set theory (14)
- Logic, Symbolic and mathematical (13)
- Toposes (7)
- Trees (Graph theory) (7)