Results 101 to 110 of about 1,581 (277)
Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words
, 2015 International audienceWe prove that there exist some 1-counter Büchi automata A_n for which some elementary properties are independent of theories like T_n =: ZFC + " There exist (at least) n inaccessible cardinals " , for integers n ≥ 1. In particular ,
Olivier Finkel, Finkel, Olivier
core +1 more source
FEBS Letters, EarlyView.We present robust protocols for the preparation of supported lipid bilayers (SLBs) incorporating either Salmonella smooth LPS or outer membrane vesicles (OMVs). We use a combination of quartz crystal microbalance with dissipation (QCM‐D) and fluorescence microscopy to both characterize the SLBs of various compositions and to probe their interactions ...
Hudson P. Pace +6 more
wiley +1 more source
Determinacy, Large Cardinals, and Inner Models
The study of inner models was initiated by Gödel’s analysis of the constructible universe. Later, the study of canonical inner models with large cardinals, e.g., measurable cardinals, strong cardinals or Woodin cardinals, was pioneered by Jensen ...
Müller, Sandra; orcid:
core
Infinitary Combinatorics Near Singular Cardinals
Large cardinals exhibit many combinatorial properties, some of which can consistently hold at small cardinals. This thesis examines several of these properties, focusing on their behavior at or near singular cardinals.
William Adkisson (18886255)
core +1 more source
FEBS Letters, EarlyView.Proteostasis and the gut microbiota play a key role in shaping host physiology. Microbiota‐derived metabolites, vitamins, and RNA modulate host proteostasis. Findings from model systems, including C. elegans, indicate microbes can either stabilize or disrupt host proteostasis.
Abhishek Anil Dubey, Maria Ermolaeva
wiley +1 more source
From mice to humans—divergent strategies for intestinal homeostasis and regeneration
FEBS Letters, EarlyView.Recent advances such as organoid genome editing, xenotransplantation, imaging, and whole‐genome sequencing have enabled direct studies of human intestinal stem cells (ISCs). These studies reveal species‐specific features, including slower ISC proliferation, distinct injury responses, slower somatic mutation accumulation in humans, and an inverse ...
Keiko Ishikawa +2 more
wiley +1 more source
FEBS Letters, EarlyView.Drosophila park mutants serve as a model for Parkinson's disease. We used this strain to investigate the connection between oxidative stress and the circadian clock mechanism. We showed that increased oxidative stress affects the physiology of pacemaker cells, disrupting their daily structural plasticity. Lack of rhythmic signaling from pacemaker cells
Kamila Zientara +3 more
wiley +1 more source
Violating the Singular Cardinals Hypothesis Without Large Cardinals ∗
, 2010 We extend a transitive model V of ZFC+GCH cardinal preservingly to a model N of ZF + “GCH holds below ℵω ” + “there is a surjection from the power set of ℵω onto λ” where λ is an arbitrarily high fixed cardinal in V.
Peter Koepke, Moti Gitik
core
Eastonʼs theorem and large cardinals from the optimal hypothesis
, 2012 The equiconsistency of a measurable cardinal with Mitchell order o(κ)=κ++ with a measurable cardinal such that 2κ=κ++ follows from the results by W. Mitchell (1984) [13] and M. Gitik (1989) [7].
Honzik, Radek, Friedman, Sy-David
core +1 more source