|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910481048403321 |
|
|
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 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Providence, Rhode Island : , : American Mathematical Society, , [2007] |
|
©2007 |
|
|
|
|
|
|
|
|
|
ISBN |
|
0-8218-8104-3 |
0-8218-3819-9 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (162 p.) |
|
|
|
|
|
|
Collana |
|
Contemporary mathematics, , 0271-4132 ; ; 425 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Logic, Symbolic and mathematical |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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"" |
|
|
|
|
|
|
|