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

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
1.	af Klinteberg, C, et al. (författare) Diode Laser-Mediated ALA-PDT Guided by Laser-Induced Fluorescence Imaging 2002 Rapport (övrigt vetenskapligt/konstnärligt)
2.	Auwerx, J, et al. (författare) The European dimension for the mouse genome mutagenesis program 2004 Ingår i: Nature genetics. - : Springer Science and Business Media LLC. - 1061-4036 .- 1546-1718. ; 36:9, s. 925-927 Tidskriftsartikel (refereegranskat)
3.	Coquand, Thierry, 1961, et al. (författare) Inductively generated formal topologies 2003 Ingår i: Annals of Pure and Applied Logic. - 0168-0072. ; 124:1-3, s. 71-106 Tidskriftsartikel (refereegranskat)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

Författare/redaktör: Balling, R (1); Von Melchner, H (1); Valentini, G (1); Lathrop, M (1); Coquand, Thierry, 19 ... (1); Lendahl, U (1); visa fler...; 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); visa färre...

Lärosäte: Göteborgs universitet (1); Lunds universitet (1); Chalmers tekniska högskola (1); Karolinska Institutet (1)

År

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.

Stäng

Kopiera och spara länken för att återkomma till aktuell vy