Results 281 to 290 of about 695,402 (315)

A Constructive Morse Theory of Sets

1987
In this paper I shall outline a foundational system for constructive mathematics analogous to that given in [11] for classical mathematics. By ‘constructive mathematics’ I shall mean mathematics as understood by Errett Bishop and his followers [2, 3], the mathematics of which the primary concern … is number, and this means the positive integers ...
openaire   +1 more source

Set theory with free construction principles

1983
In set theory with the axiom of foundation, the \(\in\)-relations on transitive classes are up to isomorphism just the extensional well-founded relations. In the absence of the axiom of foundation one may require various axioms of universality (e.g. that every binary relation (which is extensional) has an homomorphism (an isomorphism, resp.) onto the \(
FORTI, MARCO, HONSELL F.
openaire   +2 more sources

Equalisers of Frames in Constructive Set Theory

2011
In a recent note (Palmgren, 2005) Erik Palmgren has shown that, in a sufficiently strong version of Martin-Lof’s type theory (Martin-Lof, 1984) the category of set-presented formal topologies has coequalisers. We refer the reader to (Palmgren, 2005) for the background motivation for this result.
openaire   +1 more source

A constructive set theory for program development

1988
We present a constructive theory of types and kinds (called TK5) designed with program development as the major desideratum. We motivate its definition with respect to existing research in the area of program logics (in particular Martin-Lof's theory of types) and establish suitable infrastructure for program extraction from proofs of specifications.
Martin C. Henson, Raymond Turner
openaire   +1 more source

Set Theory: Constructive and Intuitionistic ZF

2009
Introduzione alla teoria costruttiva degli ...
openaire   +3 more sources

Constructive Hovels for Set Theory with Extensionalitv

1982
Publisher Summary This chapter discusses various constructive models for set theory with extensionality. There are two well-known methods that can be used to interpret J.Myhill-style extensional constructive set theories within subsystems of analysis and S.Feferman-style constructive systems of functions and classes.
openaire   +1 more source

The Existence Property in Constructive Set Theory

1985
This chapter is primarily of technical interest, in the sense that nothing in the rest of the book depends upon it, and in the sense that the proofs are rather complicated. Nevertheless, the existence property has attracted considerable attention, since many people feel a constructive theory “ought to” have the existence property.
openaire   +1 more source

Domain Theory and Realisability over Scott’s D_∞ in Constructive Set Theory

, 2023
Eman Dihoum, Michael Rathjen, Avi Silterra   +2 more
openalex   +1 more source

Poly(ADP-Ribose) polymerase (PARP) inhibitors: Exploiting a synthetic lethal strategy in the clinic

Ca-A Cancer Journal for Clinicians, 2011
Timothy A Yap, Johann Sebastian de Bono
exaly  

Computational predictions of energy materials using density functional theory

Nature Reviews Materials, 2016
Anubhav Jain, Yongwoo Shin, Kristin A Persson   +2 more
exaly