Results 311 to 315 of about 695,402 (315)

John Myhill. Constructive set theory. The journal of symbolic logic, vol. 40 (1975), pp. 347–382. - Harvey Friedman. Set theoretic foundations for constructive analysis. Annals of mathematics, ser. 2 vol. 105 (1977), pp. 1–28.

, 1981
R.J. Grayson
openalex   +1 more source

The consistency of some intuitionistic and constructive principles with a set theory

, 1981
V. H. Hahanyan
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Formal Baire Space in Constructive Set Theory

2012
Giovanni Curi, Michael Rathjen
openaire   +1 more source

Constructive strategy of non-isomorphic case set based on pheromone theory of ant colony algorithm

, 2008
Lijun Liu
openalex  

Computer-Acceptable Set Theory for Model Construction

2007
openaire   +1 more source