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 | ||
| ||
Proper and improper forcing
| Proper and improper forcing |
| Autore | Shelah Saharon |
| Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1998 |
| Disciplina | 511.3 |
| Collana | Perspectives in mathematical logic Proper and improper forcing |
| Soggetto topico |
Forcing (Model theory)
Axiomatic set theory Mathematics Physical Sciences & Mathematics Mathematical Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910482881803321 |
|
Shelah Saharon
|
||
| [Place of publication not identified], : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proper and improper forcing
| Proper and improper forcing |
| Autore | Shelah Saharon |
| Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1998 |
| Disciplina | 511.3 |
| Collana | Perspectives in mathematical logic Proper and improper forcing |
| Soggetto topico |
Forcing (Model theory)
Axiomatic set theory Mathematics Physical Sciences & Mathematics Mathematical Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996210103903316 |
|
Shelah Saharon
|
||
| [Place of publication not identified], : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proper forcing / / Saharon Shelah
| Proper forcing / / Saharon Shelah |
| Autore | Shelah Saharon |
| Edizione | [1st ed. 1982.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [1982] |
| Descrizione fisica | 1 online resource (XXXII, 500 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico | Forcing (Model theory) |
| ISBN | 3-662-21543-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introducing forcing -- The consistency of CH (the continuum hypothesis) -- On the consistency of the failure of CH -- More on the cardinality and cohen reals -- Equivalence of forcings notions, and canonical names -- Random reals, collapsing cardinals and diamonds -- The composition of two forcing notions -- Iterated forcing -- Martin Axiom and few applications -- The uniformization property -- Maximal almost disjoint families of subset of ? -- Introducing properness -- More on properness -- Preservation of properness under countable support iteration -- Martin Axiom revisited -- On Aronszajn trees -- Maybe there is no ?2-Aronszajn tree -- Closed unbounded subsets of ?1 can run away from many sets -- On oracle chain conditions -- The omitting type theorem -- Iterations of -c.c. forcings -- Reduction of the main theorem to the main lemma -- Proof of main lemma 4.6 -- Iteration of forcing notions which does not add reals -- Generalizations of properness -- ?-properness and (E,?)-properness revisited -- Preservation of ?- properness + the ??- property -- What forcing can we iterate without addding reals -- Specializing an Aronszajn tree without adding reals -- Iteration of orcing notions -- A general preservation theorem -- Three known properties -- The PP(P-point) property -- There may be no P-point -- There may exist a unique Ramsey ultrafilter -- On the ?2-chain condition -- The axioms -- Applications of axiom II -- Application of axiom I -- A counterexample connected to preservation -- Mixed iteration -- Chain conditions revisited -- The axioms revisited -- More on forcing not adding ?-sequences and on the diagonal argument -- Free limits -- Preservation by free limit -- Aronszajn trees: various ways to specialize -- Independence results -- Iterated forcing with RCS (revised countable support) -- Proper forcing revisited -- Pseudo-completeness -- Specific forcings -- Chain conditions and Avraham's problem -- Reflection properties of S 02: Refining Avraham's problem and precipitous ideals -- Strong preservation and semi-properness -- Friedman's problem -- The theorems -- The condition -- The preservation properties guaranteed by the S-condition -- Forcing notions satisfying the S-condition -- Finite composition -- Preservation of the I-condition by iteration -- Further independence results -- 0 Introduction -- When is Namba forcing semi-proper, Chang Conjecture and games -- Games and properness -- Amalgamating the S-condition with properness -- The strong covering lemma: Definition and implications -- Proof of strong covering lemmas -- A counterexample -- When adding a real cannot destroy CH -- Bound on for ?? singular -- Concluding remarks and questions -- Unif-strong negation of the weak diamond -- On the power of Ext and Whitehead problem -- Weak diamond for ?2 assuming CH. |
| Record Nr. | UNISA-996466380503316 |
|
Shelah Saharon
|
||
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [1982] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||