Results 111 to 120 of about 10,721,723 (299)
A METRIC SET THEORY WITH A UNIVERSAL SET
The Journal of Symbolic LogicAbstract Motivated by ideas from the model theory of metric structures, we introduce a metric set theory, $\mathsf {MSE}$ , which takes bounded quantification
openaire +2 more sources
Classical Set Theory: Theory of Sets and Classes
, 2020 This is a short introductory course to Set Theory, based on axioms of von Neumann--Bernays--Gödel (briefly NBG). The text can be used as a base for a lecture course in Foundations of Mathematics, and contains a reasonable minimum which a good (post-graduate) student in Mathematics should know about foundations of this science.
openaire +2 more sources
Standard sets in nonstandard set theory
Journal of Symbolic Logic, 2004 AbstractWe prove that Standardization fails in every nontrivial universe definable in the nonstandard set theory BST, and that a natural characterization of the standard universe is both consistent with and independent of BST. As a consequence we obtain a formulation of nonstandard class theory in the ∈-language.
Andreev, Petr, Hrbacek, Karel
openaire +3 more sources
Synergistic perspectives—How single‐molecule biophysics complement biochemical understanding
FEBS Letters, EarlyView.In this review, we discuss how ensemble biochemistry and single‐molecule approaches are complementary, outline commonly used single‐molecule techniques, and illustrate their relevance through two representative case studies: chromatin organization by SMC complexes and pathway choice during DNA double‐strand break repair.
Sara De Bragança +2 more
wiley +1 more source
Translophagy—A potential link between autophagy impairment and translational errors
FEBS Letters, EarlyView.Neurodegenerative diseases are characterised by the accumulation of abnormal proteins and protein aggregates, but their origin often remains unknown. We propose that selective autophagy removes damaged protein‐making machinery, preventing errors during protein synthesis.
Mykola V. Korolchuk +11 more
wiley +1 more source
The Set-Point Theory of Well-Being Needs Replacing: On the Brink of a Scientific Revolution? [PDF]
Set-point theory has dominated the field of subjective well-being (SWB). It has served as a classic Kuhn research paradigm, being extended and refined for thirty years totake in new results. The central plank of the theory is that adult set-points do not
Bruce Headey
core
FEBS Letters, EarlyView.Encapsulins are protein nanocompartments that play an important role in iron storage. In the Myxococcus xanthus encapsulin system, two cargo proteins called EncB and EncC contribute to iron mineralization. Here, we show that EncB and EncC generate iron‐containing minerals with distinct chemical compositions, suggesting that the composition of stored ...
Harry B. McDowell +2 more
wiley +1 more source
Combining Higher-Order Logic with Set Theory Formalizations. [PDF]
J Autom Reason, 2023 Kaliszyk C, Pąk K.
europepmc +1 more source
FEBS Letters, EarlyView.How do genomes gain new functional parts? In eukaryotes, which tend to evolve under weak selection, much of the genome is junk. Palazzo and Qiu borrow the logic of Markov chains to show how non‐functional DNA becomes functional through the appearance of intermediate states, which arise due to epistasis, buffering, and biochemical messiness, allowing ...
Alexander F. Palazzo, Yi Qiu
wiley +1 more source
Definition of Intuitive Set Theory [PDF]
, 2001 The two axioms which define intuitive set theory, Axiom of Combinatorial Sets and Axiom of Infinitesimals, are stated. Generalized Continuum Hypothesis is derived from the first axiom, and the infinitesimal is visualized using the ...
Nambiar, Kannan, Nambiar, K K
core