Displaying similar documents to “On sentences provable in impredicative extensions of theories”

On the solvability of systems of linear equations over the ring of integers

Horst Herrlich, Eleftherios Tachtsis (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We investigate the question whether a system ( E i ) i I of homogeneous linear equations over is non-trivially solvable in provided that each subsystem ( E j ) j J with | J | c is non-trivially solvable in where c is a fixed cardinal number such that c < | I | . Among other results, we establish the following. (a) The answer is ‘No’ in the finite case (i.e., I being finite). (b) The answer is ‘No’ in the denumerable case (i.e., | I | = 0 and c a natural number). (c) The answer in case that I is uncountable and c 0 is ‘No...

On preimages of ultrafilters in ZF

Horst Herrlich, Paul Howard, Kyriakos Keremedis (2016)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that given infinite sets X , Y and a function f : X Y which is onto and n -to-one for some n , the preimage of any ultrafilter of Y under f extends to an ultrafilter. We prove that the latter result is, in some sense, the best possible by constructing a permutation model with a set of atoms A and a finite-to-one onto function f : A ω such that for each free ultrafilter of ω its preimage under f does not extend to an ultrafilter. In addition, we show that in there exists an ultrafilter compact...

𝒞 k -regularity for the ¯ -equation with a support condition

Shaban Khidr, Osama Abdelkader (2017)

Czechoslovak Mathematical Journal

Similarity:

Let D be a 𝒞 d q -convex intersection, d 2 , 0 q n - 1 , in a complex manifold X of complex dimension n , n 2 , and let E be a holomorphic vector bundle of rank N over X . In this paper, 𝒞 k -estimates, k = 2 , 3 , , , for solutions to the ¯ -equation with small loss of smoothness are obtained for E -valued ( 0 , s ) -forms on D when n - q s n . In addition, we solve the ¯ -equation with a support condition in 𝒞 k -spaces. More precisely, we prove that for a ¯ -closed form f in 𝒞 0 , q k ( X D , E ) , 1 q n - 2 , n 3 , with compact support and for ε with 0 < ε < 1 there...

Sum-product theorems and incidence geometry

Mei-Chu Chang, Jozsef Solymosi (2007)

Journal of the European Mathematical Society

Similarity:

In this paper we prove the following theorems in incidence geometry. 1. There is δ > 0 such that for any P 1 , , P 4 , and Q 1 , , Q n 2 , if there are n ( 1 + δ ) / 2 many distinct lines between P i and Q j for all i , j , then P 1 , , P 4 are collinear. If the number of the distinct lines is < c n 1 / 2 then the cross ratio of the four points is algebraic. 2. Given c > 0 , there is δ > 0 such that for any P 1 , P 2 , P 3 2 noncollinear, and Q 1 , , Q n 2 , if there are c n 1 / 2 many distinct lines between P i and Q j for all i , j , then for any P 2 { P 1 , P 2 , P 3 } , we have δ n distinct lines between P and Q j . 3. Given...

Complex series and connected sets

B. Jasek

Similarity:

CONTENTSPREFACE..........................................................................................................................................................................3INTRODUCTION............................................................................................................................................................. 41. Notation. 2. Subject of the paper.Chapter I. DECOMPOSITION OF Σ INTO Σ 1 , Σ 2 , Σ 3 , Σ 4 INESSENTIAL RESTRICTIONOF GENERALITY ...............................................................................................................................................................

Σ s -products revisited

Reynaldo Rojas-Hernández (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We show that any Σ s -product of at most 𝔠 -many L Σ ( ω ) -spaces has the L Σ ( ω ) -property. This result generalizes some known results about L Σ ( ω ) -spaces. On the other hand, we prove that every Σ s -product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every Σ s -product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...