Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas / / Su Gao, Steve Jackson, Yi Zhang, editors
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas / / Su Gao, Steve Jackson, Yi Zhang, editors
|
| Pubblicazione: | Providence, Rhode Island : , : American Mathematical Society, , [2007] |
| ©2007 | |
| Descrizione fisica: | 1 online resource (162 p.) |
| Disciplina: | 511.3 |
| Soggetto topico: | Logic, Symbolic and mathematical |
| Soggetto genere / forma: | Electronic books. |
| Persona (resp. second.): | GaoSu <1968-> |
| JacksonSteve <1957-> | |
| ZhangYi <1964 August 22-> | |
| Note generali: | Description based upon print version of record. |
| Nota di bibliografia: | Includes bibliographical references. |
| Nota di contenuto: | ""Contents""; ""Preface""; ""A stationary-tower-free proof of the derived model theorem""; ""A proof of the â??21-absoluteness theorem""; ""A simple inductive measure analysis for cardinals under the Axiom of Determinacy""; ""The complexity of the index sets of N0-categorical theories and of Ehrenfeucht theories""; ""Computable structures of Scott rank Ï?CK1 in familiar classes""; ""Thin classes of separating sets""; ""Voting rules for infinite sets and Boolean algebras""; ""Very mad families""; ""Borel boundedness and the lattice rounding property""; ""Steinhaus sets and Jackson sets"" |
| ""A problem list"" | |
| Titolo autorizzato: | Advances in logic |
| ISBN: | 0-8218-8104-3 |
| 0-8218-3819-9 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910481048403321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Contemporary mathematics (American Mathematical Society) ; ; v. 425.