Results 11 to 20 of about 15,329 (273)
Mathematical Proceedings of the Cambridge Philosophical Society, 2013 AbstractWe define a new topos, the Herbrand topos, inspired by the modified realizability topos and our earlier work on Herbrand realizability. We also introduce the category of Herbrand assemblies and characterise these as the ¬¬-separated objects in the Herbrand topos.
van den Berg, B.
openaire +4 more sources
The over-topos at a model [PDF]
Theory and Applications of Categories, 2023 With a model of a geometric theory in an arbitrary topos, we associate a site obtained by endowing a category of generalized elements of the model with a Grothendieck topology, which we call the antecedent topology. Then we show that the associated sheaf topos, which we call the over-topos at the given model, admits a canonical totally connected ...
Caramello O., Osmond A.
openaire +5 more sources
The modified realizability topos [PDF]
Journal of Pure and Applied Algebra, 1996 The modified realizability topos is the semantic (and higher order) counterpart of a variant of Kreisel's modified realizability (1957). These years, this realizability has been in the limelight again because of its possibilities for modelling type theory (Streicher, Hyland-Ong-Ritter) and strong normalization.
van Oosten, Jaap
core +6 more sources
The Topos Home as Heterotopy in the Novel by M. Petrosyan “The House in Which…” [PDF]
, 2021 The article is devoted to the study of the topos home as a stable image with spatial characteristics in the book by M. Petrosyan “House in Which ...”. The aim of the article is to identify the possibility of functioning of the topos home in the novel as ...
core +1 more source
Fokus, 2016 This study aimed to identify and reveal the weakness of social control on rural communities, especially what happend to the children and adolescents who addicted to certain glue at the Desa Suka Negeri, Kecamatan Topos Kabupaten Lebong. This research was
Citra Rafika
doaj +1 more source
Corpus Mundi, 2023 This is a review of Franziska Bork-Petersen's book “Body Utopianism. Prosthetic Being Between Enhancement and Estrangement”, which discusses the changes in corporeality and the use of various tools that have become an important part of contemporary ...
Olesya S Yakushenkova
doaj +1 more source
Topos models for physics and topos theory [PDF]
Journal of Mathematical Physics, 2014 What is the role of topos theory in the topos models for quantum theory as used by Isham, Butterfield, Döring, Heunen, Landsman, Spitters, and others? In other words, what is the interplay between physical motivation for the models and the mathematical framework used in these models?
openaire +4 more sources
Identification of novel neutralizing determinants for protection against HCV
Hepatology, EarlyView., 2022 Identification of novel neutralizing determinants for protection against hepatitis C virus. Abstract Background and Aims HCV evasion of neutralizing antibodies (nAb) results in viral persistence and poses challenges to the development of an urgently needed vaccine.
Garazi P. Alzua +12 more
wiley +1 more source
TP53 R249S mutation in hepatic organoids captures the predisposing cancer risk
Hepatology, EarlyView., 2022 The systematic approach in elucidating the gain‐of‐function (GOF) roles of TP53 mutations in early liver carcinogenesis. Unique downstream targets of TP53 L3 mutations were identified from chormatin immunoprecipitation sequencing in HCC cell lines, followed by a series of validation assays to substantiate the exclusive transcriptional regulations ...
Yin Kau Lam +10 more
wiley +1 more source