Results 11 to 20 of about 11,507,464 (271)
GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS [PDF]
Journal of Symbolic Logic (JSL), 2015 We introduce the notion of ${\cal C}$ -system of filters, generalizing the standard definitions of both extenders and towers of normal ideals. This provides a framework to develop the theory of extenders and towers in a more general and concise way.
Giorgio Audrito, Silvia Steila
semanticscholar +6 more sources
The nature fit concept of waste reduction: Prospects for engineering a clean future
Resources, Environment and Sustainability, 2023 Environmental pollution due to waste substances is an urgent problem around the world. As human population and the consumption of manufactured goods continue to increase, it is inevitable that large quantities of waste substances would simultaneously ...
Charlotte C. Ndiribe
doaj +1 more source
Small models, large cardinals, and induced ideals [PDF]
Annals of Pure and Applied Logic, 2020 We show that many large cardinal notions up to measurability can be characterized through the existence of certain filters for small models of set theory. This correspondence will allow us to obtain a canonical way in which to assign ideals to many large
P. Holy, Philipp Lücke
semanticscholar +1 more source
Avian Research, 2021 Background Efficient and safe movement is fundamental for wild birds to thrive in their environments. For arboreal forest animals, especially birds, canopy cover has a large impact on birds’ daily movements and is a crucial component of conservation ...
Jin Bai +3 more
doaj +1 more source
Mapping with Macro X-ray Fluorescence Scanning of Raffaello’s Portrait of Leo X
Heritage, 2022 Raffaello is renowned as one of the Old Renaissance Masters and his paintings and painting technique are famous for the details and naturality of the characters.
Anna Mazzinghi +5 more
doaj +1 more source
Hanf numbers via accessible images [PDF]
Logical Methods in Computer Science, 2017 We present several new model-theoretic applications of the fact that, under the assumption that there exists a proper class of almost strongly compact cardinals, the powerful image of any accessible functor is accessible.
Michael Lieberman, Jiri Rosicky
doaj +1 more source
Dependent choice, properness, and generic absoluteness [PDF]
, 2020 We show that Dependent Choice is a sufficient choice principle for developing the basic theory of proper forcing, and for deriving generic absoluteness for the Chang model in the presence of large cardinals, even with respect to -preserving symmetric ...
Boolos +6 more
core +2 more sources
Proof of a conjecture of Galvin
Forum of Mathematics, Pi, 2020 We prove that if the set of unordered pairs of real numbers is coloured by finitely many colours, there is a set of reals homeomorphic to the rationals whose pairs have at most two colours.
Dilip Raghavan, Stevo Todorcevic
doaj +1 more source
Violating the singular cardinals hypothesis without large cardinals [PDF]
Israel Journal of Mathematics, 2012 18 pages, to appear in Israel Journal of ...
Gitik, Moti, Koepke, Peter
openaire +2 more sources
The downward directed grounds hypothesis and very large cardinals [PDF]
Journal of Mathematical Logic, 2017 A transitive model $M$ of ZFC is called a ground if the universe $V$ is a set forcing extension of $M$. We show that the grounds of $V$ are downward set-directed.
Toshimichi Usuba
semanticscholar +1 more source