02420nam 2200565 450 991048104840332120180327174159.00-8218-8104-30-8218-3819-9(CKB)3240000000069951(EBL)3113266(SSID)ssj0000629225(PQKBManifestationID)11451439(PQKBTitleCode)TC0000629225(PQKBWorkID)10718137(PQKB)11226125(MiAaPQ)EBC3113266(PPN)197107524(EXLCZ)99324000000006995120061207h20072007 uy| 0engur|n|---|||||txtccrAdvances in logic the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas /Su Gao, Steve Jackson, Yi Zhang, editorsProvidence, Rhode Island :American Mathematical Society,[2007]©20071 online resource (162 p.)Contemporary mathematics,0271-4132 ;425Description based upon print version of record.Includes bibliographical references.""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""Contemporary mathematics (American Mathematical Society) ;v. 425.Logic, Symbolic and mathematicalCongressesElectronic books.Logic, Symbolic and mathematical511.3Gao Su1968-Jackson Steve1957-Zhang Yi1964 August 22-North Texas Logic ConferenceMiAaPQMiAaPQMiAaPQBOOK9910481048403321Advances in logic1909460UNINA