Results 41 to 50 of about 37,312 (297)
Interfaces and the extended Hilbert space of Chern-Simons theory
Journal of High Energy Physics, 2020 The low energy effective field theories of (2 + 1) dimensional topological phases of matter provide powerful avenues for investigating entanglement in their ground states.
Jackson R. Fliss, Robert G. Leigh
doaj +1 more source
A constructive theory of point-set nearness
Theoretical Computer Science, 2003 The authors formulate an axiomatic introduction to the classical theory of nearness spaces [see e.g. \textit{S. A. Naimpally} and \textit{B. D. Warrack}, Proximity spaces (Cambridge Tracts in Mathematics and Mathematical Physics 59, Cambridge University Press, London) (1970; Zbl 0206.24601)].
Vîţă, L.S., Bridges, D.S.
openaire +1 more source
PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES [PDF]
, 2005 AbstractThis chapter introduces new kinds of models for constructive set theories based on categories of presheaves. It concentrates on categories of classes rather than sets, following the lines of algebraic set theory. It defines a general notion of what is a categorical model for CST, and shows that categories of presheaves provide examples of such ...
openaire +3 more sources
Type theories, toposes and constructive set theory: predicative aspects of AST
Annals of Pure and Applied Logic, 2002 The correlation between type theories and categorical structures (e.g., simply-typed lambda calculus and Cartesian closed categories) is very significant in categorical logic. The categorical counterpart of higher-order intuitionistic logic is topos theory, which is essentially impredicative in nature.
Moerdijk, Ieke, Palmgren, Erik
openaire +3 more sources
Formazione & Insegnamento, 2023 This contribution assesses the entrepreneurship competence that students cultivated during an interfaculty and innovative initiative grounded on Google Design Sprint methodology.
Daniele Morselli, Guido Orzes
doaj +1 more source
Mapping the evolution of mitochondrial complex I through structural variation
FEBS Letters, EarlyView.Respiratory complex I (CI) is crucial for bioenergetic metabolism in many prokaryotes and eukaryotes. It is composed of a conserved set of core subunits and additional accessory subunits that vary depending on the organism. Here, we categorize CI subunits from available structures to map the evolution of CI across eukaryotes. Respiratory complex I (CI)
Dong‐Woo Shin +2 more
wiley +1 more source
Inaccessibility in constructive set theory and type theory
Annals of Pure and Applied Logic, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rathjen, Michael +2 more
openaire +1 more source
Molecular bases of circadian magnesium rhythms across eukaryotes
FEBS Letters, EarlyView.Circadian rhythms in intracellular [Mg2+] exist across eukaryotic kingdoms. Central roles for Mg2+ in metabolism suggest that Mg2+ rhythms could regulate daily cellular energy and metabolism. In this Perspective paper, we propose that ancestral prokaryotic transport proteins could be responsible for mediating Mg2+ rhythms and posit a feedback model ...
Helen K. Feord, Gerben van Ooijen
wiley +1 more source
Set Theory, Dynamism, and the Event: Reinjecting Time into the Foundations of Mathematics
Axioms, 2022 This article concentrates on exploring the relevance of the postmodernist concept of the event to mathematical philosophy and the foundations of mathematics.
Said Mikki
doaj +1 more source
Naked cuticle is essential for Drosophila wing development beyond Wingless signaling
FEBS Open Bio, EarlyView.Naked cuticle (Nkd), a Wnt signaling inhibitor, assumes extensive roles in Drosophila wing development. Overexpressing Nkd causes smaller, crumpled wings, while also perturbing multiple signaling pathways and developmental genes. A specific region (R1S) is critical for Nkd's function as a signaling integrator, offering new insights for studying its ...
Rui Wang, Ping Wang
wiley +1 more source