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.
The reconstruction of trees from their automorphism groups / / Matatyahu Rubin
| The reconstruction of trees from their automorphism groups / / Matatyahu Rubin |
| Autore | Rubin Matatyahu |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1993] |
| Descrizione fisica | 1 online resource (286 pages) : illustrations |
| Disciplina | 511/.5 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Model theory
Automorphisms Trees (Graph theory) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 0-8218-7742-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910480764903321 |
Rubin Matatyahu
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1993] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The reconstruction of trees from their automorphism groups / / Matatyahu Rubin
| The reconstruction of trees from their automorphism groups / / Matatyahu Rubin |
| Autore | Rubin Matatyahu |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1993] |
| Descrizione fisica | 1 online resource (286 pages) : illustrations |
| Disciplina | 511/.5 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Model theory
Automorphisms Trees (Graph theory) |
| ISBN | 0-8218-7742-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910788643603321 |
|
Rubin Matatyahu
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1993] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The reconstruction of trees from their automorphism groups / / Matatyahu Rubin
| The reconstruction of trees from their automorphism groups / / Matatyahu Rubin |
| Autore | Rubin Matatyahu |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [1993] |
| Descrizione fisica | 1 online resource (286 pages) : illustrations |
| Disciplina | 511/.5 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Model theory
Automorphisms Trees (Graph theory) |
| ISBN | 0-8218-7742-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910817703903321 |
|
Rubin Matatyahu
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [1993] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The reconstruction of trees from their automorphism groups / Matatyahu Rubin
| The reconstruction of trees from their automorphism groups / Matatyahu Rubin |
| Autore | Rubin, Matatyahu |
| Pubbl/distr/stampa | Providence, R.I. : American Mathematical Society, c1993 |
| Descrizione fisica | viii, 274 p. : ill. ; 26 cm |
| Disciplina | 511.5 |
| Collana | Contemporary mathematics, 0271-4132 ; 151 |
| Soggetto topico |
Automorphisms
Model theory Trees (Graph theory) |
| ISBN | 082185187X |
| Classificazione |
AMS 03C99
QA9.7.R83 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001290589707536 |
|
Rubin, Matatyahu
|
||
| Providence, R.I. : American Mathematical Society, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Saturated model theory / Gerald E. Sacks
| Saturated model theory / Gerald E. Sacks |
| Autore | Sacks, Gerald E. |
| Pubbl/distr/stampa | Reading, Mass. : W. A. Benjamin, 1972 |
| Descrizione fisica | xii, 335 p. : ill. ; 23 cm. |
| Disciplina | 511.3 |
| Collana | Mathematics lecture note series |
| Soggetto topico |
Model theory
Models with special properties |
| ISBN | 0805383808 |
| Classificazione | AMS 03C50 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001311429707536 |
|
Sacks, Gerald E.
|
||
| Reading, Mass. : W. A. Benjamin, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 / / W. Marek, M. Srebrny, A. Zarach
| Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 / / W. Marek, M. Srebrny, A. Zarach |
| Autore | Marek Wiktor |
| Edizione | [1st ed. 1976.] |
| Pubbl/distr/stampa | Berlin : , : Springer, , [1976] |
| Descrizione fisica | 1 online resource (XVI, 352 p.) |
| Disciplina | 511.322 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Set theory
Model theory |
| ISBN | 3-540-38122-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Curriculum vitae of A. Mostowski -- Two remarks on the models of Morse’ set theory -- A remark on powers of singular cardinals -- Uncountable standard models of ZFC+V?L -- Changing cofinality of X 2 -- Inductive definitions: Positive and monotone -- An alternative to Martin’s axiom -- Elementary extensions of ?-models of A2 with fixed height -- Das Problem von Souslin für geordnete algebraische Strukturen -- A cumulative system of fuzzy sets -- Non-standard satisfaction classes -- Ehrenfeucht games for generalized quantifiers -- Dimension and totally transcendental theories of rank 2 -- Measure and categoricity in ?-recursion -- Urelements and extendability -- On limit reduced powers, saturateness and universality -- Extensions of models for ZFC to models for ZF+V=HOD with applications -- Decision problems for generalized quantifiers—A survey -- The alternative set theory -- Some cases of Künig’s lemma -- Categoricity relative to ordinals for models of set theory and the nonabsoluteness of L -- The universality of boolean algebras with the Härtig quantifier -- Von Neumann’s hierarchy and definable reals -- Generic extension of admissible sets -- Some remarks on observational model-theoretic languages. |
| Record Nr. | UNISA-996466487003316 |
|
Marek Wiktor
|
||
| Berlin : , : Springer, , [1976] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Set theory and hierarchy theory V / / edited by A. Lachlan, M. Srebrny and A. Zarach
| Set theory and hierarchy theory V / / edited by A. Lachlan, M. Srebrny and A. Zarach |
| Edizione | [1st ed. 1977.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer-Verlag, , [1977] |
| Descrizione fisica | 1 online resource (VIII, 360 p.) |
| Disciplina | 511.322 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico |
Set theory
Model theory Recursion theory - Hierarchies |
| ISBN | 3-540-37032-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Constructible semi-lattices of degrees of constructibility -- Refining systems on Boolean algebras -- The Lindenbaum-algebra of the theory of well-orders and Abelian groups with the quantifier Q? -- Extendability of structures as infinitary property -- A reduction of the theory of types -- Random forcing -- Topological problems in alternative set theory -- On the Baire property of Boolean algebras -- The relation between ? — ? procedures and the infinitely small in nonstandard methods -- Structures ? — saturee -- On the inhomogenity of the set of P(m)-points of ?* -- On the projective class of the continuum hypothesis -- A survey of finite-type Recursion -- Initial segments of models of Peano's axioms -- On the rules of proof generated by hierarchies -- On cardinal numbers in Quine's New Foundations -- The theory of the class HOD -- Construction of nice trees -- Differential calculus in the alternative set theory -- The consistency of the theory ZF+L1?HOD -- On the decidability of the theory of linear orderings in the language L(Q1) -- On the theories of end-extensions of models of arithmetic -- Some properties of filters -- More constructively about the constructibility. |
| Record Nr. | UNISA-996466487903316 |
| Berlin, Germany : , : Springer-Verlag, , [1977] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Simple theories and hyperimaginaries / / Enrique Casanovas [[electronic resource]]
| Simple theories and hyperimaginaries / / Enrique Casanovas [[electronic resource]] |
| Autore | Casanovas Enrique <1957-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xiv, 169 pages) : digital, PDF file(s) |
| Disciplina | 511.3/4 |
| Collana | Lecture notes in logic |
| Soggetto topico |
Model theory
First-order logic Hyperspace |
| ISBN |
1-107-21312-6
1-139-09009-7 1-139-09291-X 1-280-77592-0 1-139-09240-5 9786613686312 1-139-09100-X 1-139-00372-0 1-139-09189-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preliminaries -- x, y-Types, stability and simplicity -- x, y-Types and the local rank D -- Forking -- Independence -- The local rank CB x, y (pi) -- Heirs and coheirs -- Stable forking -- Lascar strong types -- The independence theorem -- Canonical bases -- Abstract independence relations -- Supersimple theories -- More ranks -- Hyperimaginaries -- Hyperimaginary forking -- Canonical bases revisited -- Elimination of hyperimaginaries -- Orthogonality and analysability -- Hyperimaginaries in supersimple theories. |
| Altri titoli varianti | Simple Theories & Hyperimaginaries |
| Record Nr. | UNINA-9910462540103321 |
|
Casanovas Enrique <1957->
|
||
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Simple theories and hyperimaginaries / / Enrique Casanovas [[electronic resource]]
| Simple theories and hyperimaginaries / / Enrique Casanovas [[electronic resource]] |
| Autore | Casanovas Enrique <1957-> |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xiv, 169 pages) : digital, PDF file(s) |
| Disciplina | 511.3/4 |
| Collana | Lecture notes in logic |
| Soggetto topico |
Model theory
First-order logic Hyperspace |
| ISBN |
1-107-21312-6
1-139-09009-7 1-139-09291-X 1-280-77592-0 1-139-09240-5 9786613686312 1-139-09100-X 1-139-00372-0 1-139-09189-1 |
| Classificazione | MAT018000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preliminaries -- x, y-Types, stability and simplicity -- x, y-Types and the local rank D -- Forking -- Independence -- The local rank CB x, y (pi) -- Heirs and coheirs -- Stable forking -- Lascar strong types -- The independence theorem -- Canonical bases -- Abstract independence relations -- Supersimple theories -- More ranks -- Hyperimaginaries -- Hyperimaginary forking -- Canonical bases revisited -- Elimination of hyperimaginaries -- Orthogonality and analysability -- Hyperimaginaries in supersimple theories. |
| Altri titoli varianti | Simple Theories & Hyperimaginaries |
| Record Nr. | UNINA-9910790177803321 |
|
Casanovas Enrique <1957->
|
||
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Simple theories and hyperimaginaries / / Enrique Casanovas
| Simple theories and hyperimaginaries / / Enrique Casanovas |
| Autore | Casanovas Enrique <1957-> |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New York, : Cambridge University Press, 2011 |
| Descrizione fisica | 1 online resource (xiv, 169 pages) : digital, PDF file(s) |
| Disciplina | 511.3/4 |
| Collana | Lecture notes in logic |
| Soggetto topico |
Model theory
First-order logic Hyperspace |
| ISBN |
1-107-21312-6
1-139-09009-7 1-139-09291-X 1-280-77592-0 1-139-09240-5 9786613686312 1-139-09100-X 1-139-00372-0 1-139-09189-1 |
| Classificazione | MAT018000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preliminaries -- x, y-Types, stability and simplicity -- x, y-Types and the local rank D -- Forking -- Independence -- The local rank CB x, y (pi) -- Heirs and coheirs -- Stable forking -- Lascar strong types -- The independence theorem -- Canonical bases -- Abstract independence relations -- Supersimple theories -- More ranks -- Hyperimaginaries -- Hyperimaginary forking -- Canonical bases revisited -- Elimination of hyperimaginaries -- Orthogonality and analysability -- Hyperimaginaries in supersimple theories. |
| Record Nr. | UNINA-9910806967603321 |
|
Casanovas Enrique <1957->
|
||
| New York, : Cambridge University Press, 2011 | ||
| 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)