Andrea Cantini  Home/Search
Context
Related
| disi.unige.it/aila/sc...AC_sem02.pdf.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: disi.unige.it/aila/scuola/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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. 1. (Update)
Active bibliography (related documents): More All
0.5: Induction is Not Derivable in Second Order Dependent Type Theory - Geuvers (Correct)
0.5: Mereotopology in 2nd-Order and Modal Extensions of.. - Torrini, Stell, Bennett (Correct)
0.4: A Proof-Theoretic Characterization of the Basic Feasible.. - Strahm (2002) (Correct)
Similar documents based on text: More All
0.1: Explicit Provability: The Intended Semantics for Intuitionistic.. - Artemov (1998) (Correct)
0.1: Call-by-Value Combinatory Logic and the Lambda-Value Calculus - Gateley, Duba (1991) (Correct)
0.1: Partial Applicative Theories and Explicit Substitutions - Strahm (1996) (Correct)
BibTeX entry: (Update)
@misc{ cantini-axiom,
author = "Andrea Cantini",
title = "The Axiom Of Choice And Combinatory Logic",
url = "citeseer.ist.psu.edu/606070.html" }
Citations (may not include all citations):143 Foundations of Constructive Mathematics (context) - Beeson - 1985
103 Bounded Arithmetic (context) - Buss - 1986
88 Basic Proof Theory (context) - Troelstra, Schwichtenberg - 1997
69 A language and axioms for explicit mathematics (context) - Feferman
48 Studies in Logic and the Foundations of Mathematics (context) - Calculus, Syntax - 1984
9 Polynomial time computable arithmetic (context) - Ferreira
7 American Mathematical Society (context) - Sieg, Logic et al. - 1990
6 Lecture Notes in Mathematics (context) - Crossley, Algebra - 1975
5 A new method for establishing conservativity of classical sy.. - Coquand, Hofmann - 1999
4 Interpreting classical theories in constructive ones (context) - Avigad - 2000
3 Choice and uniformity in weak applicative theories (context) - Cantini - 2001
2 Combinatory logic and the axiom of choice (context) - Barendregt - 1973
2 A logic stronger than intuitionism (context) - Goernemann - 1971
1 Studies in Logic and the Foundations of Mathematics (context) - Bo, van Dalen et al. - 1979
1 Theories with types and names with positive stratified compr.. (context) - Minari - 1999
1 Zeitschrift fur Mathematische Logik und die Grundlagen der M.. (context) - formal, truth - 1989
1 DIPARTIMENTO DI FILOSOFIA UNIVERSIT A DEGLI STUDI DI FIRENZE.. (context) - Troelstra, van Dalen et al. - 1988
Documents on the same site (http://www.disi.unige.it/aila/scuola/):
Lambda-Calcolo E Teoria Dei Tipi - Valentini (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC