Sentence examples for constructive setting from inspiring English sources

The former theories are adaptations of Zermelo-Fraenkel set theory to a constructive setting, while in type theory the constructions implicit in constructive statements are made explicit in the system.

Here we show that the axiom of choice (AC) implies constructively unacceptable instances of the excluded middle within a basic constructive set theory (Zermelo-Fraenkel style).

Mr. Geithner had little overt praise for a reform platform put forward in March by the Treasury secretary, Henry M. Paulson Jr., saying the proposal "stimulated a very constructive set of discussions".

But to claim that they did this partly because economists preferred focusing on what makes economies grow rather than paying attention to whether economic activity should be organised through markets or by the state is misleading.Still, the book articulates a constructive set of ideas about how to reform foreign aid.

Nevertheless, an objection could be raised to extensions of constructive set theory by large set axioms.

These have been investigated both within type theory and constructive set theory.

"So all in all, a constructive set of discussions and hopefully we can build on them".

"It's been a good, constructive set of discussions," Ritchie told BBC Sport.

Myhill's exponentiation axiom is now part of all major systems of constructive set theory.

In the context of constructive set theories like CZF, power set and separation are replaced by intuitionistically weaker principles.

Such a system essentially coincides with Aczel and Rathjen's Elementary Constructive Set Theory, ECST, in (Aczel and Rathjen 2010).