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.
Around classification theory of models / / Saharon Shelah
| Around classification theory of models / / Saharon Shelah |
| Autore | Shelah Saharon |
| Edizione | [1st ed. 1986.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1986] |
| Descrizione fisica | 1 online resource (VII, 282 p.) |
| Disciplina | 511.34 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Set theory
Logic, Symbolic and mathematical Model theory |
| ISBN | 3-540-39788-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Classifying generalized quantifiers -- Classification over a predicate II -- Existence of endo-rigid Boolean algebras -- On the no(M) for M of singular power -- Non standard uniserial module over a uniserial domain exists -- Remarks on the numbers of ideals of Boolean algebra and open sets of a topology -- The existence of coding sets -- Monadic logic: Hanf Numbers -- More on stationary coding -- On normal ideals and Boolean algebras -- A note on ?-freeness of abelian groups -- On countable theories with models — homogeneous models only -- On decomposable sentences for finite models -- Remarks on squares. |
| Record Nr. | UNISA-996466500603316 |
Shelah Saharon
|
||
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1986] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Classification theory : proceedings of the US-Israel workshop on model theory in mathematical logic held in Chicago, december 15-19, 1985 / / J. T. Baldwin (editor)
| Classification theory : proceedings of the US-Israel workshop on model theory in mathematical logic held in Chicago, december 15-19, 1985 / / J. T. Baldwin (editor) |
| Edizione | [1st ed. 1987.] |
| Pubbl/distr/stampa | Berlin : , : Springer-Verlag, , [1987] |
| Descrizione fisica | 1 online resource (VIII, 508 p.) |
| Disciplina | 511.34 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Model theory |
| ISBN | 3-540-48049-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Classification theory: 1985 -- Concrete representations of lattices and the fundamental order -- The classification of small weakly minimal sets I -- Orthogonality of types in separably closed fields -- Countable or ?1-like models of Presburger's arithmetic -- An exposition of OTOP -- Exercises on Local Weight -- Locally modular regular types -- Choosing elements in a saturated model -- Degrees of models with prescribed Scott set -- Shrinking, stretching, and codes for homogeneous structures -- Freedom via forcing: Uniform construction of relatively free or generic structures -- Simple superstable theories -- Universal classes -- Classification of non elementary classes II abstract elementary classes -- On almost categorical theories. |
| Record Nr. | UNISA-996466534003316 |
| Berlin : , : Springer-Verlag, , [1987] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Institution-independent model theory [[electronic resource] /] / Răzvan Diaconescu
| Institution-independent model theory [[electronic resource] /] / Răzvan Diaconescu |
| Autore | Diaconescu Răzvan |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Basel ; ; Boston, : Birkhäuser, c2008 |
| Descrizione fisica | 1 online resource (386 p.) |
| Disciplina |
511.3
511.34 |
| Collana | Studies in universal logic |
| Soggetto topico |
Model theory
Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-86259-2
9786611862596 3-7643-8708-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Categories -- Institutions -- Theories and Models -- Internal Logic -- Model Ultraproducts -- Saturated Models -- Preservation and Axiomatizability -- Interpolation -- Definability -- Possible Worlds -- Grothendieck Institutions -- Institutions with Proofs -- Specification -- Logic Programming. |
| Record Nr. | UNINA-9910451723903321 |
|
Diaconescu Răzvan
|
||
| Basel ; ; Boston, : Birkhäuser, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Institution-independent model theory [[electronic resource] /] / Răzvan Diaconescu
| Institution-independent model theory [[electronic resource] /] / Răzvan Diaconescu |
| Autore | Diaconescu Răzvan |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Basel ; ; Boston, : Birkhäuser, c2008 |
| Descrizione fisica | 1 online resource (386 p.) |
| Disciplina |
511.3
511.34 |
| Collana | Studies in universal logic |
| Soggetto topico |
Model theory
Logic, Symbolic and mathematical |
| ISBN |
1-281-86259-2
9786611862596 3-7643-8708-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Categories -- Institutions -- Theories and Models -- Internal Logic -- Model Ultraproducts -- Saturated Models -- Preservation and Axiomatizability -- Interpolation -- Definability -- Possible Worlds -- Grothendieck Institutions -- Institutions with Proofs -- Specification -- Logic Programming. |
| Record Nr. | UNINA-9910782098603321 |
|
Diaconescu Răzvan
|
||
| Basel ; ; Boston, : Birkhäuser, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Institution-independent model theory / / Răzvan Diaconescu
| Institution-independent model theory / / Răzvan Diaconescu |
| Autore | Diaconescu Răzvan |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Basel ; ; Boston, : Birkhäuser, c2008 |
| Descrizione fisica | 1 online resource (386 p.) |
| Disciplina |
511.3
511.34 |
| Collana | Studies in universal logic |
| Soggetto topico |
Model theory
Logic, Symbolic and mathematical |
| ISBN |
1-281-86259-2
9786611862596 3-7643-8708-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Categories -- Institutions -- Theories and Models -- Internal Logic -- Model Ultraproducts -- Saturated Models -- Preservation and Axiomatizability -- Interpolation -- Definability -- Possible Worlds -- Grothendieck Institutions -- Institutions with Proofs -- Specification -- Logic Programming. |
| Record Nr. | UNINA-9910825090803321 |
|
Diaconescu Răzvan
|
||
| Basel ; ; Boston, : Birkhäuser, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduzione alla teoria dei modelli e alla metamatematica dell'algebra / Abraham Robinson ; [trad. di Silvio Bozzi]
| Introduzione alla teoria dei modelli e alla metamatematica dell'algebra / Abraham Robinson ; [trad. di Silvio Bozzi] |
| Autore | ROBINSON, Abraham |
| Pubbl/distr/stampa | Torino, : Boringhieri, 1974 |
| Descrizione fisica | 334 p. ; 20 cm |
| Disciplina | 511.34 |
| Collana | Testi e manuali della scienza contemporanea. Serie di logica matematica |
| Soggetto topico | TEORIA DEI MODELLI |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990005608120203316 |
|
ROBINSON, Abraham
|
||
| Torino, : Boringhieri, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model theoretic algebra : selected topics / / G. Cherlin
| Model theoretic algebra : selected topics / / G. Cherlin |
| Autore | Cherlin Gregory L. <1948-> |
| Edizione | [1st ed. 1976.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1976] |
| Descrizione fisica | 1 online resource (VI, 238 p.) |
| Disciplina | 511.34 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Algebra
Model theoretic algebra Model theory |
| ISBN | 3-540-38228-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Basic model theory -- Transfer theorems in algebra -- The ax-kochen-ershov transfer principle: (Diophantine problems over local fields) -- Existentially complete structures -- Existentially complete division rings -- Existentially complete modules -- Complete theories of abelian groups -- ?1-categorical fields. |
| Record Nr. | UNISA-996466493603316 |
|
Cherlin Gregory L. <1948->
|
||
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1976] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model theory and algebra : a memorial tribute to Abraham Robinson / / edited by D. H. Saracino and V. B. Weispfennig
| Model theory and algebra : a memorial tribute to Abraham Robinson / / edited by D. H. Saracino and V. B. Weispfennig |
| Edizione | [1st ed. 1975.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1975] |
| Descrizione fisica | 1 online resource (X, 466 p.) |
| Disciplina | 511.34 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Model theory
Algebra |
| ISBN | 3-540-38057-4 |
| Classificazione | 03Cxx |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On recursively saturated models of arithmetic -- A note on existentially complete division rings -- Ideals of integers in nonstandard number fields -- Categories of local functors -- Impredicativity of the existence of the largest divisible subgroup of an Abelian p-group -- Elementary equivalence classes of generic structures and existentially complete structures -- The number of equivalence classes of existentially complete structures -- Finite forcing and generic filters in arithmetic -- Dense embeddings I: A theorem of Robinson in a general setting -- New facts about Hilbert's seventeenth problem -- Nonstandard aspects of Hilbert's irreducibility theorem -- Projective model theory and coforcing -- On algebraic curves over commutative regular rings -- Existence of rigid-like families of Abelian p-groups -- The complexity of Tf and omitting types in FT -- Model-completeness and skolem expansions. |
| Record Nr. | UNISA-996466872503316 |
| Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1975] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / / edited by C. Berline, K. McAloon and J.-P. Ressayre
| Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / / edited by C. Berline, K. McAloon and J.-P. Ressayre |
| Edizione | [1st ed. 1981.] |
| Pubbl/distr/stampa | Berlin : , : Springer-Verlag, , [1981] |
| Descrizione fisica | 1 online resource (VI, 306 p.) |
| Disciplina | 511.34 |
| Collana | Lecture notes in mathematics |
| Soggetto topico | Model theory |
| ISBN | 3-540-38629-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Models of Peano Arithmetic -- Cuts in Models of Arithmetic -- Two notes on the Paris independence result -- The ordinal height of a density -- Ideaux des anneaux de Peano (d'apres Cherlin) -- Theorie elementaire de la multiplication des entiers naturels -- La representation en termes de faisceaux des modeles de la theorie elementaire de la multiplication des entiers naturels -- Note on a nullstellensatz -- Anti-Basis theorems and their relation to independence results in Peano arithmetic -- A note on Decidable Model theory -- Interprétations d'Arithmétiques dans des groupes et des treillis -- Les methodes de Kieby-Paris et la théorie des ensembles -- The laws of exponentiation -- Le théorème de MATIYASSÉVITCH et résultats connexes -- Borne superieure de la complexite de la theorie de ? muni de la relation de divisibilite -- Some conservation results for fragments of arithmetic -- Partition properties and definable types in Peano Arithmetic -- De la structure additive a la saturation des modeles de Peano et a une classification des sous-langages de l'Arithmetique -- On discretely ordered rings in which every definable ideal is principal -- An observation concerning the relationship between finite and infinitary ? 1 1 . |
| Record Nr. | UNISA-996466496903316 |
| Berlin : , : Springer-Verlag, , [1981] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model theory and topoi / / edited by F. W. Lawvere, C. Maurer, G. C. Wraith
| Model theory and topoi / / edited by F. W. Lawvere, C. Maurer, G. C. Wraith |
| Edizione | [1st ed. 1975.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [1975] |
| Descrizione fisica | 1 online resource (VI, 358 p.) |
| Disciplina | 511.34 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico | Model theory |
| ISBN | 3-540-37495-7 |
| Classificazione | 18-06 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to Part I -- Abstract Horn theories -- Completeness theorem for logical categories -- Logical categories, semantical categories and topoi -- Internal categories and classification theorems -- Lectures on elementary topoi -- Some topos theoretic concepts of finiteness -- Universes in topoi -- Logical and set theoretical tools in elementary topoi -- A note on Kripke-Joyal semantics for the internal language of topoi. |
| Record Nr. | UNISA-996466862703316 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [1975] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
