Träfflista för sökning "WFRF:(Valentini G.) srt2:(2000-2004)"

Sort/group result

Sort by: Hits per page:

Enumeration	Reference	Cover	Find
1.	af Klinteberg, C, et al. (author) Diode Laser-Mediated ALA-PDT Guided by Laser-Induced Fluorescence Imaging 2002 Reports (other academic/artistic)
2.	Auwerx, J, et al. (author) The European dimension for the mouse genome mutagenesis program 2004 In: Nature genetics. - : Springer Science and Business Media LLC. - 1061-4036 .- 1546-1718. ; 36:9, s. 925-927 Journal article (peer-reviewed)
3.	Coquand, Thierry, 1961, et al. (author) Inductively generated formal topologies 2003 In: Annals of Pure and Applied Logic. - 0168-0072. ; 124:1-3, s. 71-106 Journal article (peer-reviewed)abstract Formal topology aims at developing general topology in intuitionistic and predicative mathematics. Many classical results of general topology have been already brought into the realm of constructive mathematics by using formal topology and also new light on basic topological notions was gained with this approach which allows distinction which are not expressible in classical topology. Here we give a systematic exposition of one of the main tools in formal topology: inductive generation. In fact, many formal topologies can be presented in a predicative way by an inductive generation and thus their properties can be proved inductively. We show however that some natural complete Heyting algebra cannot be inductively defined.

Skapa referenser, mejla, bekava och länka

Author/Editor: Balling, R (1); Von Melchner, H (1); Valentini, G (1); Lathrop, M (1); Coquand, Thierry, 19 ... (1); Lendahl, U (1); show more...; Johansson, Thomas (1); Andersson-Engels, St ... (1); Svanberg, Sune (1); Berns, A (1); Chambon, P. (1); af Klinteberg, C (1); Wang, I (1); Karu, I (1); Bendsöe, Niels (1); Svanberg, Katarina (1); Canti, G (1); Cubeddu, R (1); Pifferi, A (1); Taroni, P (1); Partanen, J. (1); Davies, K (1); Barbacid, M (1); Wurst, W (1); Brown, S (1); Rigby, P (1); de Angelis, MH (1); Kollias, G. (1); Auwerx, J (1); Wahli, W (1); Avner, P (1); Baldock, R (1); Ballabio, A (1); Bradley, A (1); Carmeliet, P (1); Cox, R (1); Davidson, D (1); Duboule, D (1); Forejt, J (1); Granucci, F (1); Hastie, N (1); Jackson, I (1); Kioussis, D (1); Malumbres, M (1); Muller, W (1); Ricciardi-Castagnoli ... (1); Rosen, B (1); Rosenthal, N (1); Skarnes, B (1); Stewart, AF (1); show less...

University: University of Gothenburg (1); Lund University (1); Chalmers University of Technology (1); Karolinska Institutet (1)

Year

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

Copy and save the link in order to return to this view