9 results
22 - Spectroscopy of Pluto and Its Satellites
- from Part IV - Applications to Planetary Surfaces
- Edited by Janice L. Bishop, James F. Bell III, Arizona State University, Jeffrey E. Moersch, University of Tennessee, Knoxville
-
- Book:
- Remote Compositional Analysis
- Published online:
- 15 November 2019
- Print publication:
- 28 November 2019, pp 442-452
-
- Chapter
- Export citation
-
Summary
The near-infrared reflectance spectra of Pluto and its satellites are rich with diagnostic absorption bands of ices of CH4, N2, CO, H2O, and an incompletely identified ammonia-bearing molecule. Following years of investigation of the spectra of Pluto and Charon with ground-based telescopes, NASA’s New Horizons spacecraft obtained spectral maps of these bodies and three small satellites on its passage through the system on July 14, 2015, showing the distribution of these ices, as well as a colored, non-ice component. Spectral modeling mapped the distribution of the various ices and showed their abundance and mixing details in relationship to regions of differing surface elevation, albedo, and geologic structure. Additionally, owing to their greatly different degrees of volatility, the ices of Pluto are distributed in patterns responsive to Pluto’s climatic changes on both short and long terms. The surface of Charon is dominated spectrally by H2O ice with one or more ammoniated compounds, and three of the four very small satellites show both H2O ice and the ammonia signature.
Contributors
-
- By Mitchell Aboulafia, Frederick Adams, Marilyn McCord Adams, Robert M. Adams, Laird Addis, James W. Allard, David Allison, William P. Alston, Karl Ameriks, C. Anthony Anderson, David Leech Anderson, Lanier Anderson, Roger Ariew, David Armstrong, Denis G. Arnold, E. J. Ashworth, Margaret Atherton, Robin Attfield, Bruce Aune, Edward Wilson Averill, Jody Azzouni, Kent Bach, Andrew Bailey, Lynne Rudder Baker, Thomas R. Baldwin, Jon Barwise, George Bealer, William Bechtel, Lawrence C. Becker, Mark A. Bedau, Ernst Behler, José A. Benardete, Ermanno Bencivenga, Jan Berg, Michael Bergmann, Robert L. Bernasconi, Sven Bernecker, Bernard Berofsky, Rod Bertolet, Charles J. Beyer, Christian Beyer, Joseph Bien, Joseph Bien, Peg Birmingham, Ivan Boh, James Bohman, Daniel Bonevac, Laurence BonJour, William J. Bouwsma, Raymond D. Bradley, Myles Brand, Richard B. Brandt, Michael E. Bratman, Stephen E. Braude, Daniel Breazeale, Angela Breitenbach, Jason Bridges, David O. Brink, Gordon G. Brittan, Justin Broackes, Dan W. Brock, Aaron Bronfman, Jeffrey E. Brower, Bartosz Brozek, Anthony Brueckner, Jeffrey Bub, Lara Buchak, Otavio Bueno, Ann E. Bumpus, Robert W. Burch, John Burgess, Arthur W. Burks, Panayot Butchvarov, Robert E. Butts, Marina Bykova, Patrick Byrne, David Carr, Noël Carroll, Edward S. Casey, Victor Caston, Victor Caston, Albert Casullo, Robert L. Causey, Alan K. L. Chan, Ruth Chang, Deen K. Chatterjee, Andrew Chignell, Roderick M. Chisholm, Kelly J. Clark, E. J. Coffman, Robin Collins, Brian P. Copenhaver, John Corcoran, John Cottingham, Roger Crisp, Frederick J. Crosson, Antonio S. Cua, Phillip D. Cummins, Martin Curd, Adam Cureton, Andrew Cutrofello, Stephen Darwall, Paul Sheldon Davies, Wayne A. Davis, Timothy Joseph Day, Claudio de Almeida, Mario De Caro, Mario De Caro, John Deigh, C. F. Delaney, Daniel C. Dennett, Michael R. DePaul, Michael Detlefsen, Daniel Trent Devereux, Philip E. Devine, John M. Dillon, Martin C. Dillon, Robert DiSalle, Mary Domski, Alan Donagan, Paul Draper, Fred Dretske, Mircea Dumitru, Wilhelm Dupré, Gerald Dworkin, John Earman, Ellery Eells, Catherine Z. Elgin, Berent Enç, Ronald P. Endicott, Edward Erwin, John Etchemendy, C. Stephen Evans, Susan L. Feagin, Solomon Feferman, Richard Feldman, Arthur Fine, Maurice A. Finocchiaro, William FitzPatrick, Richard E. Flathman, Gvozden Flego, Richard Foley, Graeme Forbes, Rainer Forst, Malcolm R. Forster, Daniel Fouke, Patrick Francken, Samuel Freeman, Elizabeth Fricker, Miranda Fricker, Michael Friedman, Michael Fuerstein, Richard A. Fumerton, Alan Gabbey, Pieranna Garavaso, Daniel Garber, Jorge L. A. Garcia, Robert K. Garcia, Don Garrett, Philip Gasper, Gerald Gaus, Berys Gaut, Bernard Gert, Roger F. Gibson, Cody Gilmore, Carl Ginet, Alan H. Goldman, Alvin I. Goldman, Alfonso Gömez-Lobo, Lenn E. Goodman, Robert M. Gordon, Stefan Gosepath, Jorge J. E. Gracia, Daniel W. Graham, George A. Graham, Peter J. Graham, Richard E. Grandy, I. Grattan-Guinness, John Greco, Philip T. Grier, Nicholas Griffin, Nicholas Griffin, David A. Griffiths, Paul J. Griffiths, Stephen R. Grimm, Charles L. Griswold, Charles B. Guignon, Pete A. Y. Gunter, Dimitri Gutas, Gary Gutting, Paul Guyer, Kwame Gyekye, Oscar A. Haac, Raul Hakli, Raul Hakli, Michael Hallett, Edward C. Halper, Jean Hampton, R. James Hankinson, K. R. Hanley, Russell Hardin, Robert M. Harnish, William Harper, David Harrah, Kevin Hart, Ali Hasan, William Hasker, John Haugeland, Roger Hausheer, William Heald, Peter Heath, Richard Heck, John F. Heil, Vincent F. Hendricks, Stephen Hetherington, Francis Heylighen, Kathleen Marie Higgins, Risto Hilpinen, Harold T. Hodes, Joshua Hoffman, Alan Holland, Robert L. Holmes, Richard Holton, Brad W. Hooker, Terence E. Horgan, Tamara Horowitz, Paul Horwich, Vittorio Hösle, Paul Hoβfeld, Daniel Howard-Snyder, Frances Howard-Snyder, Anne Hudson, Deal W. Hudson, Carl A. Huffman, David L. Hull, Patricia Huntington, Thomas Hurka, Paul Hurley, Rosalind Hursthouse, Guillermo Hurtado, Ronald E. Hustwit, Sarah Hutton, Jonathan Jenkins Ichikawa, Harry A. Ide, David Ingram, Philip J. Ivanhoe, Alfred L. Ivry, Frank Jackson, Dale Jacquette, Joseph Jedwab, Richard Jeffrey, David Alan Johnson, Edward Johnson, Mark D. Jordan, Richard Joyce, Hwa Yol Jung, Robert Hillary Kane, Tomis Kapitan, Jacquelyn Ann K. Kegley, James A. Keller, Ralph Kennedy, Sergei Khoruzhii, Jaegwon Kim, Yersu Kim, Nathan L. King, Patricia Kitcher, Peter D. Klein, E. D. Klemke, Virginia Klenk, George L. Kline, Christian Klotz, Simo Knuuttila, Joseph J. Kockelmans, Konstantin Kolenda, Sebastian Tomasz Kołodziejczyk, Isaac Kramnick, Richard Kraut, Fred Kroon, Manfred Kuehn, Steven T. Kuhn, Henry E. Kyburg, John Lachs, Jennifer Lackey, Stephen E. Lahey, Andrea Lavazza, Thomas H. Leahey, Joo Heung Lee, Keith Lehrer, Dorothy Leland, Noah M. Lemos, Ernest LePore, Sarah-Jane Leslie, Isaac Levi, Andrew Levine, Alan E. Lewis, Daniel E. Little, Shu-hsien Liu, Shu-hsien Liu, Alan K. L. Chan, Brian Loar, Lawrence B. Lombard, John Longeway, Dominic McIver Lopes, Michael J. Loux, E. J. Lowe, Steven Luper, Eugene C. Luschei, William G. Lycan, David Lyons, David Macarthur, Danielle Macbeth, Scott MacDonald, Jacob L. Mackey, Louis H. Mackey, Penelope Mackie, Edward H. Madden, Penelope Maddy, G. B. Madison, Bernd Magnus, Pekka Mäkelä, Rudolf A. Makkreel, David Manley, William E. Mann (W.E.M.), Vladimir Marchenkov, Peter Markie, Jean-Pierre Marquis, Ausonio Marras, Mike W. Martin, A. P. Martinich, William L. McBride, David McCabe, Storrs McCall, Hugh J. McCann, Robert N. McCauley, John J. McDermott, Sarah McGrath, Ralph McInerny, Daniel J. McKaughan, Thomas McKay, Michael McKinsey, Brian P. McLaughlin, Ernan McMullin, Anthonie Meijers, Jack W. Meiland, William Jason Melanson, Alfred R. Mele, Joseph R. Mendola, Christopher Menzel, Michael J. Meyer, Christian B. Miller, David W. Miller, Peter Millican, Robert N. Minor, Phillip Mitsis, James A. Montmarquet, Michael S. Moore, Tim Moore, Benjamin Morison, Donald R. Morrison, Stephen J. Morse, Paul K. Moser, Alexander P. D. Mourelatos, Ian Mueller, James Bernard Murphy, Mark C. Murphy, Steven Nadler, Jan Narveson, Alan Nelson, Jerome Neu, Samuel Newlands, Kai Nielsen, Ilkka Niiniluoto, Carlos G. Noreña, Calvin G. Normore, David Fate Norton, Nikolaj Nottelmann, Donald Nute, David S. Oderberg, Steve Odin, Michael O’Rourke, Willard G. Oxtoby, Heinz Paetzold, George S. Pappas, Anthony J. Parel, Lydia Patton, R. P. Peerenboom, Francis Jeffry Pelletier, Adriaan T. Peperzak, Derk Pereboom, Jaroslav Peregrin, Glen Pettigrove, Philip Pettit, Edmund L. Pincoffs, Andrew Pinsent, Robert B. Pippin, Alvin Plantinga, Louis P. Pojman, Richard H. Popkin, John F. Post, Carl J. Posy, William J. Prior, Richard Purtill, Michael Quante, Philip L. Quinn, Philip L. Quinn, Elizabeth S. Radcliffe, Diana Raffman, Gerard Raulet, Stephen L. Read, Andrews Reath, Andrew Reisner, Nicholas Rescher, Henry S. Richardson, Robert C. Richardson, Thomas Ricketts, Wayne D. Riggs, Mark Roberts, Robert C. Roberts, Luke Robinson, Alexander Rosenberg, Gary Rosenkranz, Bernice Glatzer Rosenthal, Adina L. Roskies, William L. Rowe, T. M. Rudavsky, Michael Ruse, Bruce Russell, Lilly-Marlene Russow, Dan Ryder, R. M. Sainsbury, Joseph Salerno, Nathan Salmon, Wesley C. Salmon, Constantine Sandis, David H. Sanford, Marco Santambrogio, David Sapire, Ruth A. Saunders, Geoffrey Sayre-McCord, Charles Sayward, James P. Scanlan, Richard Schacht, Tamar Schapiro, Frederick F. Schmitt, Jerome B. Schneewind, Calvin O. Schrag, Alan D. Schrift, George F. Schumm, Jean-Loup Seban, David N. Sedley, Kenneth Seeskin, Krister Segerberg, Charlene Haddock Seigfried, Dennis M. Senchuk, James F. Sennett, William Lad Sessions, Stewart Shapiro, Tommie Shelby, Donald W. Sherburne, Christopher Shields, Roger A. Shiner, Sydney Shoemaker, Robert K. Shope, Kwong-loi Shun, Wilfried Sieg, A. John Simmons, Robert L. Simon, Marcus G. Singer, Georgette Sinkler, Walter Sinnott-Armstrong, Matti T. Sintonen, Lawrence Sklar, Brian Skyrms, Robert C. Sleigh, Michael Anthony Slote, Hans Sluga, Barry Smith, Michael Smith, Robin Smith, Robert Sokolowski, Robert C. Solomon, Marta Soniewicka, Philip Soper, Ernest Sosa, Nicholas Southwood, Paul Vincent Spade, T. L. S. Sprigge, Eric O. Springsted, George J. Stack, Rebecca Stangl, Jason Stanley, Florian Steinberger, Sören Stenlund, Christopher Stephens, James P. Sterba, Josef Stern, Matthias Steup, M. A. Stewart, Leopold Stubenberg, Edith Dudley Sulla, Frederick Suppe, Jere Paul Surber, David George Sussman, Sigrún Svavarsdóttir, Zeno G. Swijtink, Richard Swinburne, Charles C. Taliaferro, Robert B. Talisse, John Tasioulas, Paul Teller, Larry S. Temkin, Mark Textor, H. S. Thayer, Peter Thielke, Alan Thomas, Amie L. Thomasson, Katherine Thomson-Jones, Joshua C. Thurow, Vzalerie Tiberius, Terrence N. Tice, Paul Tidman, Mark C. Timmons, William Tolhurst, James E. Tomberlin, Rosemarie Tong, Lawrence Torcello, Kelly Trogdon, J. D. Trout, Robert E. Tully, Raimo Tuomela, John Turri, Martin M. Tweedale, Thomas Uebel, Jennifer Uleman, James Van Cleve, Harry van der Linden, Peter van Inwagen, Bryan W. Van Norden, René van Woudenberg, Donald Phillip Verene, Samantha Vice, Thomas Vinci, Donald Wayne Viney, Barbara Von Eckardt, Peter B. M. Vranas, Steven J. Wagner, William J. Wainwright, Paul E. Walker, Robert E. Wall, Craig Walton, Douglas Walton, Eric Watkins, Richard A. Watson, Michael V. Wedin, Rudolph H. Weingartner, Paul Weirich, Paul J. Weithman, Carl Wellman, Howard Wettstein, Samuel C. Wheeler, Stephen A. White, Jennifer Whiting, Edward R. Wierenga, Michael Williams, Fred Wilson, W. Kent Wilson, Kenneth P. Winkler, John F. Wippel, Jan Woleński, Allan B. Wolter, Nicholas P. Wolterstorff, Rega Wood, W. Jay Wood, Paul Woodruff, Alison Wylie, Gideon Yaffe, Takashi Yagisawa, Yutaka Yamamoto, Keith E. Yandell, Xiaomei Yang, Dean Zimmerman, Günter Zoller, Catherine Zuckert, Michael Zuckert, Jack A. Zupko (J.A.Z.)
- Edited by Robert Audi, University of Notre Dame, Indiana
-
- Book:
- The Cambridge Dictionary of Philosophy
- Published online:
- 05 August 2015
- Print publication:
- 27 April 2015, pp ix-xxx
-
- Chapter
- Export citation
New Horizons: Encountering Pluto and KBOs
- Leslie A. Young, S. Alan Stern
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 5 / Issue S263 / August 2009
- Published online by Cambridge University Press:
- 06 April 2010, pp. 305-311
- Print publication:
- August 2009
-
- Article
-
- You have access Access
- Export citation
-
New Horizons is a NASA mission to explore the Pluto system and the Kuiper Belt. The spacecraft was launched on 19 January 2006 and will begin its encounter studies of Pluto in early 2015, culminating on 14 July 2015 with a close approach just 12,500 km from Pluto. The spacecraft carries panchromatic and color images, IR and UV mapping spectrometers, a radio science package, two in situ plasma instruments, and a dust counter. We describe the capabilities of this instrument suite and the spacecraft, the observations planned for Pluto and its system of satellites, and our plans for KBO flybys to take place late in the 2010s.
Notes on the contributors
-
- By Aaron Ahuvia, Gerrit Antonides, Russell Belk, Valerie Braithwaite, Carole Burgoyne, John G. Cullis, Werner F. M. De Bondt, Bruno S. Frey, Tommy Gärling, Danyelle Guyatt, Denis Hilton, Tim Jackson, Philip R. Jones, Simon Kemp, Erich Kirchler, Stephen E. G. Lea, Alan Lewis, Terry Lohrenz, Peter Loukopoulos, P. Read Montague, Ellen K. Nyhus, Clive L. Spash, Paul C. Stern, Alois Stutzer, Karl-Erik Wärneryd, Paul Webley, Michael Wenzel, Ulrich Witt
- Edited by Alan Lewis, University of Bath
-
- Book:
- The Cambridge Handbook of Psychology and Economic Behaviour
- Published online:
- 05 June 2012
- Print publication:
- 17 April 2008, pp xv-xx
-
- Chapter
- Export citation
The New Horizons Mission to Pluto-Charon and the Kuiper Belt
- G. Leonard Tyler, S. Alan Stern, Harold A. Weaver
-
- Journal:
- Highlights of Astronomy / Volume 13 / 2005
- Published online by Cambridge University Press:
- 30 March 2016, pp. 910-911
- Print publication:
- 2005
-
- Article
-
- You have access Access
- Export citation
-
The New Horizons Mission to Pluto-Charon and the Kuiper Belt is under development for launch in 2006. The experiment complement of eight sensors addresses fundamental issues of density, composition, albedo, geology, and atmospheric state, chemistry, and escape.
Regarding the Criteria for Planethood and Proposed Planetary Classification Schemes
- S. Alan Stern, Harold F. Levison
-
- Journal:
- Highlights of Astronomy / Volume 12 / 2002
- Published online by Cambridge University Press:
- 30 March 2016, pp. 205-213
- Print publication:
- 2002
-
- Article
-
- You have access Access
- Export citation
-
We examine the question of planetary classification, making recommendations both for the criteria by which planethood should be evaluated, as well as for more detailed physical and dynamical subtype classification schemes.
Looking Backward, Looking Forward: MLA Members Speak
- April Alliston, Elizabeth Ammons, Jean Arnold, Nina Baym, Sandra L. Beckett, Peter G. Beidler, Roger A. Berger, Sandra Bermann, J.J. Wilson, Troy Boone, Alison Booth, Wayne C. Booth, James Phelan, Marie Borroff, Ihab Hassan, Ulrich Weisstein, Zack Bowen, Jill Campbell, Dan Campion, Jay Caplan, Maurice Charney, Beverly Lyon Clark, Robert A. Colby, Thomas C. Coleman III, Nicole Cooley, Richard Dellamora, Morris Dickstein, Terrell Dixon, Emory Elliott, Caryl Emerson, Ann W. Engar, Lars Engle, Kai Hammermeister, N. N. Feltes, Mary Anne Ferguson, Annie Finch, Shelley Fisher Fishkin, Jerry Aline Flieger, Norman Friedman, Rosemarie Garland-Thomson, Sandra M. Gilbert, Laurie Grobman, George Guida, Liselotte Gumpel, R. K. Gupta, Florence Howe, Cathy L. Jrade, Richard A. Kaye, Calhoun Winton, Murray Krieger, Robert Langbaum, Richard A. Lanham, Marilee Lindemann, Paul Michael Lützeler, Thomas J. Lynn, Juliet Flower MacCannell, Michelle A. Massé, Irving Massey, Georges May, Christian W. Hallstein, Gita May, Lucy McDiarmid, Ellen Messer-Davidow, Koritha Mitchell, Robin Smiles, Kenyatta Albeny, George Monteiro, Joel Myerson, Alan Nadel, Ashton Nichols, Jeffrey Nishimura, Neal Oxenhandler, David Palumbo-Liu, Vincent P. Pecora, David Porter, Nancy Potter, Ronald C. Rosbottom, Elias L. Rivers, Gerhard F. Strasser, J. L. Styan, Marianna De Marco Torgovnick, Gary Totten, David van Leer, Asha Varadharajan, Orrin N. C. Wang, Sharon Willis, Louise E. Wright, Donald A. Yates, Takayuki Yokota-Murakami, Richard E. Zeikowitz, Angelika Bammer, Dale Bauer, Karl Beckson, Betsy A. Bowen, Stacey Donohue, Sheila Emerson, Gwendolyn Audrey Foster, Jay L. Halio, Karl Kroeber, Terence Hawkes, William B. Hunter, Mary Jambus, Willard F. King, Nancy K. Miller, Jody Norton, Ann Pellegrini, S. P. Rosenbaum, Lorie Roth, Robert Scholes, Joanne Shattock, Rosemary T. VanArsdel, Alfred Bendixen, Alarma Kathleen Brown, Michael J. Kiskis, Debra A. Castillo, Rey Chow, John F. Crossen, Robert F. Fleissner, Regenia Gagnier, Nicholas Howe, M. Thomas Inge, Frank Mehring, Hyungji Park, Jahan Ramazani, Kenneth M. Roemer, Deborah D. Rogers, A. LaVonne Brown Ruoff, Regina M. Schwartz, John T. Shawcross, Brenda R. Silver, Andrew von Hendy, Virginia Wright Wexman, Britta Zangen, A. Owen Aldridge, Paula R. Backscheider, Roland Bartel, E. M. Forster, Milton Birnbaum, Jonathan Bishop, Crystal Downing, Frank H. Ellis, Roberto Forns-Broggi, James R. Giles, Mary E. Giles, Susan Blair Green, Madelyn Gutwirth, Constance B. Hieatt, Titi Adepitan, Edgar C. Knowlton, Jr., Emanuel Mussman, Sally Todd Nelson, Robert O. Preyer, David Diego Rodriguez, Guy Stern, James Thorpe, Robert J. Wilson, Rebecca S. Beal, Joyce Simutis, Betsy Bowden, Sara Cooper, Wheeler Winston Dixon, Tarek el Ariss, Richard Jewell, John W. Kronik, Wendy Martin, Stuart Y. McDougal, Hugo Méndez-Ramírez, Ivy Schweitzer, Armand E. Singer, G. Thomas Tanselle, Tom Bishop, Mary Ann Caws, Marcel Gutwirth, Christophe Ippolito, Lawrence D. Kritzman, James Longenbach, Tim McCracken, Wolfe S. Molitor, Diane Quantic, Gregory Rabassa, Ellen M. Tsagaris, Anthony C. Yu, Betty Jean Craige, Wendell V. Harris, J. Hillis Miller, Jesse G. Swan, Helene Zimmer-Loew, Peter Berek, James Chandler, Hanna K. Charney, Philip Cohen, Judith Fetterley, Herbert Lindenberger, Julia Reinhard Lupton, Maximillian E. Novak, Richard Ohmann, Marjorie Perloff, Mark Reynolds, James Sledd, Harriet Turner, Marie Umeh, Flavia Aloya, Regina Barreca, Konrad Bieber, Ellis Hanson, William J. Hyde, Holly A. Laird, David Leverenz, Allen Michie, J. Wesley Miller, Marvin Rosenberg, Daniel R. Schwarz, Elizabeth Welt Trahan, Jean Fagan Yellin
-
- Journal:
- PMLA / Publications of the Modern Language Association of America / Volume 115 / Issue 7 / December 2000
- Published online by Cambridge University Press:
- 23 October 2020, pp. 1986-2078
- Print publication:
- December 2000
-
- Article
- Export citation
A class of connected theories of order
- Alan S. Stern, Stanisław S. Świerczkowski
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 2 / June 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 534-542
- Print publication:
- June 1994
-
- Article
- Export citation
-
In 1962 Jan Mycielski proposed a very general notion of interpretability [M1]. This led to the question whether a given theory could be interpreted in the disjoint union of two theories, without being interpretable in any of them. He argued that in such a case it would be presumably simpler to study each of these theories separately, and hence conjectured that this situation can never occur for any of the well-known theories of mathematics. This conjecture has now been verified for the following theories (see [MPS], [P], [S1, 2]): ELO (endless, i.e., without maximal element, linear order), Th(〈ℚ, ≤〉), Th(〈ω, ≤〉) and all sequential theories (those which can code finite sequences of elements of their models). The latter include PA, ZF, GB and Th(〈ω,+,·〉). In view of these confirmations it became ever more plausible that the conjecture is valid also for RCF (real closed fields), i.e., for Th(〈ℝ,≤,+,·,0,1〉). In the present paper we show that Mycielski's conjecture is valid for a class of theories which includes RCF and OF (ordered fields).
We consider only theories with equality and without function symbols. Interpretations will be meant local, multidimensional, and with parameters, as defined in [M1], [M2] and surveyed in [MPS] (for a recent definition see also [S2]). We shall write T0 ≪ T1 to say that T0 is interpretable in T1 (or that T1 interprets T0), and this will mean that for every theorem α of T0 there is an interpretation of α in T1.
Sequential theories and infinite distributivity in the lattice of chapters
- Alan S. Stern
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 190-206
- Print publication:
- March 1989
-
- Article
- Export citation
-
We introduce a notion of complexity for interpretations, which is used to prove some new results about interpretations of sequential theories. In particular, we give a new, elementary proof of Pudlák's theorem that sequential theories are connected. We also demonstrate a counterexample to the infinitary distributive law
in the lattice of chapters, in which the chapters a and bi are compact. (Counterexamples in which a is not compact have been found previously.)