Advances in logic : [electronic resource] the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas / Su Gao, Steve Jackson, Yi Zhang, editors.

By:

North Texas Logic Conference (2004 : University of North Texas)

Contributor(s):

Material type: Text

TextSeries: Contemporary mathematics (American Mathematical Society) ; v. 425.Publication details: Providence, R.I. : American Mathematical Society, c2007.Description: 1 online resource (vii, 150 p. : ill.)ISBN:

9780821881040 (online)

Subject(s):

Logic, Symbolic and mathematical -- Congresses

Additional physical formats: Advances in logic :DDC classification:

511.3 22

LOC classification:

QA9.A1 N67 2004

Online resources:

Contents:

A stationary-tower-free proof of the derived model theorem / J. R. Steel -- http://www.ams.org/conm/425/ http://dx.doi.org/10.1090/conm/425/08113 A proof of the $\Sigma _1^2$-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�owe -- 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

Item type:

E-BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Home library	Call number	Materials specified	URL	Status	Date due	Barcode
IMSc Library			Link to resource	Available		EBK11707

Includes bibliographical references.

A stationary-tower-free proof of the derived model theorem / J. R. Steel -- A proof of the $\Sigma _1^2$-absoluteness theorem / Ilijas Farah -- A simple inductive measure analysis for cardinals under the Axiom of Determinacy / Stefan Bold and Benedikt L�owe -- The complexity of the index sets of $\aleph _0$-categorical theories and of Ehrenfeucht theories / Steffen Lempp and Theodore A. Slaman -- Computable structures of Scott rank $\omega _1^{\rm CK}$ in familiar classes / W. Calvert, S. S. Goncharov and J. F. Knight -- Thin classes of separating sets / Reed Solomon -- Voting rules for infinite sets and Boolean algebras / Andreas Blass -- Very mad families / Bart Kastermans -- Borel boundedness and the lattice rounding property / Charles M. Boykin and Steve Jackson -- Steinhaus sets and Jackson sets / Su Gao, Arnold W. Miller and William A. R. Weiss -- A problem list / Su Gao, Steve Jackson and Yi Zhang --

http://www.ams.org/conm/425/

http://dx.doi.org/10.1090/conm/425/08113

http://www.ams.org/conm/425/

http://dx.doi.org/10.1090/conm/425/08114

http://www.ams.org/conm/425/

http://dx.doi.org/10.1090/conm/425/08115

http://www.ams.org/conm/425/

http://dx.doi.org/10.1090/conm/425/08116

http://www.ams.org/conm/425/

http://dx.doi.org/10.1090/conm/425/08117

http://www.ams.org/conm/425/

http://dx.doi.org/10.1090/conm/425/08118