FREE ELECTRONIC LIBRARY - Online materials, documents

Pages:     | 1 |   ...   | 3 | 4 ||

«Derived rules for predicative set theory: an application of sheaves Benno van den Berg & Ieke Moerdijk November 16, 2011 Abstract We show how one may ...»

-- [ Page 5 ] --

[6] M.J. Beeson. Principles of continuous choice and continuity of functions in formal systems for constructive mathematics. Ann. Math. Logic, 12(3):249– 322, 1977.

[7] J. L. Bell. Boolean-valued models and independence proofs in set theory, volume 12 of Oxford Logic Guides. Oxford University Press, New York, second edition, 1985.

[8] B. van den Berg. Inductive types and exact completion. Ann. Pure Appl.

Logic, 134:95–121, 2005.

[9] B. van den Berg and I. Moerdijk. Aspects of predicative algebraic set theory I: Exact Completion. Ann. Pure Appl. Logic, 156(1), 2008.

[10] B. van den Berg and I. Moerdijk. W-types in sheaves. arXiv:0810.2398, 2008.

[11] B. van den Berg and I. Moerdijk. Aspects of predicative algebraic set theory, II: realizability. Theoret. Comput. Sci., 412(20):1916–1940, 2011.

[12] B. van den Berg and I. Moerdijk. Aspects of predicative algebraic set theory III: Sheaves. arXiv:0912.1242. Accepted for publication in the Proceedings of the London Mathematical Society, 2011.

[13] B. van den Berg and I. Moerdijk. A note on the Axiom of Multiple Choice.

In preparation, 2011.

[14] T. Coquand, G. Sambin, J. Smith, and S. Valentini. Inductively generated formal topologies. Ann. Pure Appl. Logic, 124(1-3):71–106, 2003.

–  –  –

[16] M. P. Fourman and R. J. Grayson. Formal spaces. In The L. E. J. Brouwer Centenary Symposium (Noordwijkerhout, 1981), volume 110 of Stud. Logic Found. Math., pages 107–122. North-Holland, Amsterdam, 1982.

[17] M. P. Fourman and J. M. E. Hyland. Sheaf models for analysis. In Applications of sheaves (Proc. Res. Sympos. Appl. Sheaf Theory to Logic, Algebra and Anal., Univ. Durham, Durham, 1977), volume 753 of Lecture Notes in Math., pages 280–301. Springer, Berlin, 1979.

[18] M.P. Fourman. Continuous truth. I. Nonconstructive objects. In Logic colloquium ’82 (Florence, 1982), volume 112 of Stud. Logic Found. Math., pages 161–180. North-Holland, Amsterdam, 1984.

[19] N. Gambino. Sheaf interpretations for generalised predicative intuitionistic systems. PhD thesis, University of Manchester, 2002.

[20] N. Gambino. Heyting-valued interpretations for constructive set theory.

Ann. Pure Appl. Logic, 137(1-3):164–188, 2006.

[21] R. J. Grayson. Forcing in intuitionistic systems without power-set. J.

Symbolic Logic, 48(3):670–682, 1983.

[22] R. J. Grayson. Heyting-valued semantics. In Logic colloquium ’82 (Florence, 1982), volume 112 of Stud. Logic Found. Math., pages 181–208.

North-Holland, Amsterdam, 1984.

[23] S. Hayashi. Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice. Ann.

Math. Logic, 19(1-2):33–65, 1980.

[24] S. Hayashi. A note on bar induction rule. In The L. E. J. Brouwer Centenary Symposium (Noordwijkerhout, 1981), volume 110 of Stud. Logic Found. Math., pages 149–163. North-Holland, Amsterdam, 1982.

[25] P.T. Johnstone. Stone spaces, volume 3 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1982.

[26] S. Mac Lane and I. Moerdijk. Sheaves in geometry and logic – A first introduction to topos theory. Universitext. Springer-Verlag, New York, 1992.

[27] I. Moerdijk. Heine-Borel does not imply the fan theorem. J. Symbolic Logic, 49(2):514–519, 1984.

[28] I. Moerdijk and E. Palmgren. Wellfounded trees in categories. Ann. Pure Appl. Logic, 104(1-3):189–218, 2000.

[29] I. Moerdijk and E. Palmgren. Type theories, toposes and constructive set theory: predicative aspects of AST. Ann. Pure Appl. Logic, 114(1-3):155– 201, 2002.

[30] M. Rathjen. The disjunction and related properties for constructive Zermelo-Fraenkel set theory. J. Symbolic Logic, 70(4):1232–1254, 2005.

[31] M. Rathjen. A note on bar induction in constructive set theory. MLQ Math. Log. Q., 52(3):253–258, 2006.

[32] G. Sambin. Some points in formal topology. Theoret. Comput. Sci., 305(1408, 2003.

[33] A. S. Troelstra and D. van Dalen. Constructivism in mathematics. Vol.

II, volume 123 of Studies in Logic and the Foundations of Mathematics.

Pages:     | 1 |   ...   | 3 | 4 ||

Similar works:

«CONCEPT OF PREDESTINATION IN ISLAM AND CHRISTIANITY: SPECIAL REFERENCE TO AVERROES AND AQUINAS by Dr. Ismail Mohamad Abstract Predestination is a doctrine believed by Muslims and Christians, but there are some problems arise in understanding of it among them. This article tries to view the problems from Islamic and Christian Weltanschauung as presented by the well-known scholars namely Averroes and Aquinas. Introduction: Preliminary Problem Predestination is a crucial problem not only in Islam...»

«from the desk of... #581 Rande Wayne Smith 20 October 2013 D.Min., Th.M., M.Div. Prayer 2 WE PRAY TOGETHER based on The Acts 4:23-31 I was 29 years old when God called me into the ministry, and He guided me to G.C.T.S., which is about 30 miles north of Boston. The Seminary itself sits way up on a hill. In fact, planes flying into Logan Airport use the lighted cross on top of the academic building as a location marker at night before making their descent. Anyway, I lived down in the married...»

«Lockheed Martin Space Systems Company Quality Clauses Lockheed Martin hereinafter shall mean Lockheed Martin Space Systems Company. Notwithstanding any other provisions, all articles furnished hereunder are subject to the General Provisions of the Procurement Document and the following Special Provisions Quality Assurance Clause(s) when indicated by Quality Code(s). Articles defined in the Procurement Document will not be accepted by Lockheed Martin if the vendor/contractor fails to submit...»

«A Production of Heaven on Earth Creations www.globalizedsoul.org GANDHI’S GIFT About the Tragic and Triumphant Final Years of Mohandas K. Gandhi Project Status Report, End of Year 2013 By Kell Kearns, Director, Co-producer Our feature length documentary will guide the audience through the climactic, last eight years and four months of Gandhi’s life. We begin with onset of World War II when the consequences to the British empire of global conflagration sent Gandhi’s decades-long leadership...»

«CAM2 Mixer/Pre-Amplifier Installation and Use Manual © 2003 Bogen Communications, Inc. All rights reserved. Specifications subject to change. 54-2039-01C Printed in Korea. 0306 Notice Applications Assistance Every effort was made to ensure that the information in this Our Applications Engineering Department is available to assist guide was complete and accurate at the time of printing. you from 8:30 A.M. to 6:00 P.M. and on call until 8:00 P.M., However, information is subject to change....»

«Leader Election in Unreliable Radio Networks Mohsen Ghaffari1 and Calvin Newport2 1 MIT, Cambridge, MA, USA ghaffari@mit.edu 2 Georgetown University, Washington, DC, USA cnewport@cs.georgetown.edu Abstract The dual graph model describes a radio network that contains both reliable and unreliable links. In recent years, this model has received significant attention by the distributed algorithms community [12, 4, 8, 10, 9, 16, 1, 14]. Due to results in [10], it is known that leader election...»

<<  HOME   |    CONTACTS
2017 www.thesis.dislib.info - Online materials, documents

Materials of this site are available for review, all rights belong to their respective owners.
If you do not agree with the fact that your material is placed on this site, please, email us, we will within 1-2 business days delete him.