William J. Mitchell - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2012

Inner Models for Large CardinalsWilliam J. Mitchell. In Dov M. Gabbay, Akihiro Kanamori, John Woods, editors, Sets and Extensions in the Twentieth Century. Volume 6 of Handbook of the History of Logic, pages 415-456, Elsevier, 2012. [doi]

2009

Partitions of large Rado graphsMirna Dzamonja, Jean A. Larson, William J. Mitchell. AML, 48(6):579-606, 2009. [doi]

Urban pixels: painting the city with lightSusanne Seitinger, Daniel S. Perry, William J. Mitchell. CHI 2009: 839-848 [doi]

2006

On the Hamkins approximation propertyWilliam J. Mitchell. APAL, 144(1-3):126-129, 2006. [doi]

2005

Adding Closed Unbounded Subsets of omega::2:: with Finite ForcingWilliam J. Mitchell. ndjfl, 46(3):357-371, 2005. [doi]

2004

KeynoteWilliam J. Mitchell. ACMdis 2004: 1-2 [doi]

A weak variation of Shelah s I[omega::2::]William J. Mitchell. JSYML, 69(1):94-100, 2004. [doi]

2003

A Gitik iteration with nearly Easton factoringWilliam J. Mitchell. JSYML, 68(2):481-502, 2003.

2000

Designing the Digital CityWilliam J. Mitchell. digitalCities 2000: 1-6 [doi]

1999

Jónsson Cardinals, Erdös Cardinals, and The Core ModelWilliam J. Mitchell. JSYML, 64(3):1065-1086, 1999.

1998

The Complexity of The Core ModelWilliam J. Mitchell. JSYML, 63(4):1393-1398, 1998.

Articulate design of free-form structuresWilliam J. Mitchell. seaai 1998: 223-234

The Kumamoto-Kyoto-MIT Collaborative Project: A Case Study of the Design Studio of the FutureSusan Yee, William J. Mitchell, Ryusuke Naka, Mitsuo Morozumi, Sigeyuki Yamaguchi. cobuild 1998: 80-93 [doi]

1997

The Covering Lemma up to a Woodin CardinalWilliam J. Mitchell, Ernest Schimmerling, John R. Steel. APAL, 84(2):219-255, 1997.

1996

Indiscernible Sequences for Extenders, and the Singular Cardinal HypothesisMoti Gitik, William J. Mitchell. APAL, 82(3):273-316, 1996.

1994

A grammatical approach to network flow synthesisJonathan Cagan, William J. Mitchell. ifip5-2 1994: 173-189

1992

The Logic of Architecture: Programming the Invention of Physical ArtifactsWilliam J. Mitchell. ICLP 1992: 831-846

An Infinitary Ramsey PropertyWilliam J. Mitchell. APAL, 57(2):151-160, 1992.

1987

Prikry Forcing at kappa:::+::: and BeyondWilliam J. Mitchell. JSYML, 52(1):44-50, 1987.

1983

Sets Constructed from Sequences of Measures: RevisitedWilliam J. Mitchell. JSYML, 48(3):600-609, 1983.

1979

The LT-1 Connector-A Conventional TransmultiplexerWilliam J. Mitchell. tcom, 27(2):355-360, 1979. [doi]

1974

Sets Constructible from Sequences of UltrafiltersWilliam J. Mitchell. JSYML, 39(1):57-66, 1974.

1971

The automated generation of architectural formWilliam J. Mitchell. dac 1971: 193-207 [doi]

Sign in or sign up to see more results.

runs on WebDSL