Träfflista för sökning "WFRF:(Mannaa B) "

Sökning: WFRF:(Mannaa B)

Sortera/gruppera träfflistan

Sortering: Träffar per sida:

Numrering	Referens	Omslagsbild	Hitta
1.	Kieburtz, K, et al. (författare) A randomized, double-blind, placebo-controlled study of latrepirdine in patients with mild to moderate Huntington disease 2013 Ingår i: JAMA neurology. - : American Medical Association (AMA). - 2168-6157 .- 2168-6149. ; 70:1, s. 25-33 Tidskriftsartikel (refereegranskat)
2.	Coquand, Thierry, 1961, et al. (författare) THE INDEPENDENCE OF MARKOV'S PRINCIPLE IN TYPE THEORY 2017 Ingår i: Logical Methods in Computer Science. - 1860-5974. ; 13:3 Tidskriftsartikel (refereegranskat)abstract In this paper, we show that Markov's principle is not derivable in dependent type theory with natural numbers and one universe. One way to prove this would be to remark that Markov's principle does not hold in a sheaf model of type theory over Cantor space, since Markov's principle does not hold for the generic point of this model [CMR17]. Instead we design an extension of type theory, which intuitively extends type theory by the addition of a generic point of Cantor space. We then show the consistency of this extension by a normalization argument. Markov's principle does not hold in this extension, and it follows that it cannot be proved in type theory.

Skapa referenser, mejla, bekava och länka

Författare/redaktör: Vogel, A. (1); Wilson, A. (1); Weber, J. (1); Salvatore, E. (1); Jones, M. (1); Schmidt, S. (1); visa fler...; Werner, C. (1); Barker, RA (1); Hoffmann, R. (1); Gray, C. (1); Kumar, R. (1); Mason, S. (1); Anderson, K. (1); Coleman, A. (1); Goodman, A (1); Marshall, F. (1); Murphy, S. (1); Coquand, Thierry, 19 ... (1); Wright, J (1); Wojcik, M. (1); Harris, J. (1); Dorsey, ER (1); Patel, A (1); Ahmed, A (1); Goldstein, J (1); Paucar, M (1); Orme, C. (1); Agrawal, P (1); Tan, J (1); Chua, P (1); Jenkins, M (1); Trautmann, S. (1); Squitieri, F (1); Craufurd, D (1); Novak, M (1); Johnson, A (1); Scott, B (1); Barton, C. (1); Singer, C. (1); Di Pietro, A (1); Watts, A (1); Stewart, L. (1); Langlois, M. (1); O'Neill, C (1); Cudkowicz, M (1); Rosenblatt, A (1); Kieburtz, K (1); McDermott, M (1); Schindler, C. (1); Merritt, C (1); visa färre...

Forskningsämne (UKÄ/SCB): Naturvetenskap (1); Medicin och hälsovetenskap (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