Limit search to available items
Book Cover
E-book
Author North Texas Logic Conference (2004 : University of North Texas)

Title 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
Published Providence, R.I. : American Mathematical Society, ©2007

Copies

Description 1 online resource (vii, 150 pages) : illustrations
Series Contemporary mathematics, 0271-4132 ; 425
Contemporary mathematics (American Mathematical Society) ; v. 425.
Contents A stationary-tower-free proof of the derived model theorem / J. R. Steel -- http://www.ams.org/conm/425/'>http://www.ams.org/conm/425/'>http://www.ams.org/conm/425/'>http://www.ams.org/conm/425/'>http://www.ams.org/conm/425/'>http://www.ams.org/conm/425/'>http://www.ams.org/conm/425/'>http://www.ams.org/conm/425/'>http://www.ams.org/conm/425/'>http://www.ams.org/conm/425/'>http://www.ams.org/conm/425/ http://dx.doi.org/10.1090/conm/425/08113 A proof of the $\Sigma _12̂$-absoluteness theorem / Ilijas Farah -- http://www.ams.org/conm/425/ http://dx.doi.org/10.1090/conm/425/08114 A simple inductive measure analysis for cardinals under the Axiom of Determinacy / Stefan Bold and Benedikt Löwe -- http://www.ams.org/conm/425/ http://dx.doi.org/10.1090/conm/425/08115 The complexity of the index sets of $\aleph _0$-categorical theories and of Ehrenfeucht theories / Steffen Lempp and Theodore A. Slaman -- http://www.ams.org/conm/425/ http://dx.doi.org/10.1090/conm/425/08116 Computable structures of Scott rank $\omega _1{̂\rm CK}$ in familiar classes / W. Calvert, S. S. Goncharov and J. F. Knight -- http://www.ams.org/conm/425/ http://dx.doi.org/10.1090/conm/425/08117 Thin classes of separating sets / Reed Solomon -- http://www.ams.org/conm/425/ http://dx.doi.org/10.1090/conm/425/08118 Voting rules for infinite sets and Boolean algebras / Andreas Blass -- http://www.ams.org/conm/425/ http://dx.doi.org/10.1090/conm/425/08119 Very mad families / Bart Kastermans -- http://www.ams.org/conm/425/ http://dx.doi.org/10.1090/conm/425/08120 Borel boundedness and the lattice rounding property / Charles M. Boykin and Steve Jackson -- http://www.ams.org/conm/425/ http://dx.doi.org/10.1090/conm/425/08121 Steinhaus sets and Jackson sets / Su Gao, Arnold W. Miller and William A. R. Weiss -- http://www.ams.org/conm/425/ http://dx.doi.org/10.1090/conm/425/08122 A problem list / Su Gao, Steve Jackson and Yi Zhang -- http://www.ams.org/conm/425/ http://dx.doi.org/10.1090/conm/425/08123
Bibliography Includes bibliographical references
Notes English
Subject Logic, Symbolic and mathematical -- Congresses
Logic, Symbolic and mathematical
Genre/Form Conference papers and proceedings
Form Electronic book
Author Gao, Su, 1968-
Jackson, Steve, 1957-
Zhang, Yi, 1964 August 22-
LC no. 2006047984
ISBN 9780821881040
0821881043
9780821857557
082185755X