Advances in logic : the North Texas Logic Conference, October 810, 2004, University of North Texas, Denton, Texas
Material type: Computer fileSeries: Contemporary mathematics ; v. 425Publication details: Providence, R.I. : American Mathematical Society, c2007Description: 1 online resource (vii, 150 p. : ill.)ISBN: 9780821881040 (online)Subject(s): Logic, Symbolic and mathematicalOnline resources: Click here to access onlineItem type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
electronic book | ICTS | Link to resource | Accessible Online | EBK21429 |
Includes bibliographical references.
A stationarytowerfree proof of the derived model theorem ; A proof of the Sigma _1^2 bsoluteness theorem ; A simple inductive measure analysis for cardinals under the Axiom of Determinacy ; The complexity of the index sets of aleph _0 ategorical theories and of Ehrenfeucht theories ; Computable structures of Scott rank omega _1^\rm CK 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 J R Steel ; Ilijas Farah ; Stefan Bold and Benedikt Lowe ; Steffen Lempp and Theodore A Slaman ; W Calvert S S Goncharov and J F Knight ; Reed Solomon ; Andreas Blass ; Bart Kastermans ; Charles M Boykin and Steve Jackson ; Su Gao Arnold W Miller and William A R Weiss ; Su Gao Steve Jackson and Yi Zhang
There are no comments on this title.