Skip to main content
    • Aa
    • Aa

The axiom of choice and combinatory logic

  • Andrea Cantini (a1)

We combine a variety of constructive methods (including forcing, realizability, asymmetric interpretation), to obtain consistency results concerning combinatory logic with extensionality and (forms of) the axiom of choice.

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

[3] H. Barendregt , The lambda calculus. Its syntax and semantics, Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam, 1984.

and , , , vol. (), pp. –.[CM88] J. Cichoń M. Morayne Universal functions and generalized classes of functions Proceedings of the American Mathematical Society 102 1988 8389

[4] M. J. Beeson , Foundations of constructive mathematics, Springer-Verlag, Berlin, 1985.

[Dar96] U. Darji , Countable decomposition of derivatives and Baire 1 functions, Journal of Applied Analysis, vol. 2 (1996), pp. 119124.

[Das74] F. K. Dashiell Jr., Isomorphism problems for the Baire classes, Pacific Journal of Mathematics, vol. 52 (1974), pp. 2943.

[7] A. Cantini , Notes on formal theories of truth, Zeitschrift für Mathematische Logik unddie Grund-lagen der Mathematik, vol. 35 (1989), pp. 97130.

[Das81] F. K. Dashiell Jr., Nonweakly compact operators from order-Cauchy complete C(S) lattices, with application to Baire classes, Transactions of the American Mathematical Society, vol. 266 (1981), no. 2, pp. 397413.

[GMA09] M. González and A. Martínez-Abejón , A local duality principle for the Baire classes of functions, Journal of Mathematical Analysis and Applications, vol. 350 (2009), no. 1, pp. 2936.

[9] T. Coquand and M. Hofmann , A new method for establishing conservativity of classical systems over their intuitionistic version, Mathematical Structures in Computer Science, vol. 9 (1999), pp. 323333.

[Jay74] J. E. Jayne , The space of class α Baire functions, American Mathematical Society. Bulletin, vol. 80 (1974), no. 6, pp. 11511156.

[JR79b] J. E. Jayne and C. A. Rogers , Borel isomorphisms at the first level II, Mathematika, vol. 26 (1979), no. 2, pp. 157179.

[15] P. Minari , Theories with types and names with positive stratified comprehension, Studio Logica, vol. 62 (1999), pp. 215242.

[16] W. Sieg (editor), Logic and computation, Contemporary Mathematics, American Mathematical Society, Providence, R. I., 1990.

[Kec95] A. S. Kechris , Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995.

[18] A. S. Troelstra and D. van Dalen , Constructivism in mathematics, Studies in Logic and the Foundations of Mathematics, Elsevier-North Holland, Amsterdam, 1988.

[PS12] J. Pawlikowski and M. Sabok , Decomposing Borel functions and structure at finite levels of the Baire hierarchy, Annals of Pure and Applied Logic, vol. 163 (2012), no. 12, pp. 17481764.

[Sol98] S. Solecki , Decomposing Borel sets and functions and the structure of Baire class 1 functions, Journal of the American Mathematical Society, vol. 11 (1998), no. 3, pp. 521550.

[vMP95] J. van Mill and R. Pol , Baire 1 functions which are not countable unions of continuous functions, Acta Mathematica Hungarica, vol. 66 (1995), pp. 289300.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 2 *
Loading metrics...

Abstract views

Total abstract views: 40 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 25th May 2017. This data will be updated every 24 hours.