Results 11 to 20 of about 1,581 (277)
GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS [PDF]
The Journal of Symbolic Logic, 2017 AbstractWe 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. In this framework we investigate the topic of definability of generic large cardinals properties.
Giorgio Audrito, Silvia Steila
openaire +3 more sources
Realizability Models for Large Cardinals. [PDF]
Realizabilty is a branch of logic that aims at extracting the computational content of mathematical proofs by establishing a correspondence between proofs and programs. Invented by S.C. Kleene in the 1945 to develop a connection between intuitionism and Turing computable functions, realizability has evolved to include not only classical logic but even ...
Fontanella, Laura +2 more
openaire +5 more sources
THE INVENTORY OF THE WOOD SPECIES FROM CENTRAL PARK OF THE GHERLA TOWN
Agricultura, 2011 Also known as "The Little Schönbrun" the city’s park is designed in English style and was inaugurated in 1864 spreading on about 18 ha. The main alleys are oriented towards the cardinals and inter-cardinals making a regular wind rose.
Rodica Varban +2 more
doaj +1 more source
Le Sacré Collège en villégiature : le palais d’un cardinal au temps de la papauté avignonnaise
In Situ, 2005 During the Avignon papacy, Villeneuve-lès-Avignon was a place of summer retreat for the cardinals. Today, the town still has some vestiges of the palaces of several members of the Holy College.
Bernard Sournia, Jean-Louis Vayssettes
doaj +1 more source
GENERIC LARGE CARDINALS AS AXIOMS [PDF]
The Review of Symbolic Logic, 2019 AbstractWe argue against Foreman’s proposal to settle the continuum hypothesis and other classical independent questions via the adoption of generic large cardinal axioms.
openaire +2 more sources
FREE GROUPS AND AUTOMORPHISM GROUPS OF INFINITE STRUCTURES
Forum of Mathematics, Sigma, 2014 Given a cardinal $\lambda $ with $\lambda =\lambda ^{\aleph _0}$
PHILIPP LÜCKE, SAHARON SHELAH
doaj +1 more source
Easton’s theorem and large cardinals
Annals of Pure and Applied Logic, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sy D. Friedman, Radek Honzik
openaire +3 more sources
, 1985 In this note we consider some large cardinal properties related to huge cardinals. Weestablish some connections between these notions and the concepts of multihuge cardinals and superhuge cardinals introduced in [B.DP.T]
Henle, J. +1 more
core +1 more source
Crop Diversification Leads to Diverse Bird Problems in Hawaiian Agriculture
Human-Wildlife Interactions, 2017 Over the last 20 years, Hawaii’s agriculture has shifted from a focus on sugar cane (Saccharum officinarum) and pineapples (Ananas comosus) produced on large farms to a diverse array of products produced on a multitude of smaller farms.
Marni E. Koopman, William C. Pitt
doaj +1 more source
On lifting of embeddings between transitive models of set theory
Acta Universitatis Carolinae Philosophica et HistoricaSuppose M and N are transitive models of set theory, P is a forcing notion in M and G is P-generic over M. An elementary embedding j : (M, ∈) → (N, ∈) lifts to M[G] if there is j+ : (M[G], G, ∈) → (N[j+(G)], j+(G), ∈) such that j+ restricted to M is ...
Radek Honzík
doaj +1 more source