Displaying similar documents to “Axiom A versus Newhouse phenomena for Benedicks-Carleson toy models”

On the Set-Theoretic Strength of Countable Compactness of the Tychonoff Product 2

Eleftherios Tachtsis (2010)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We work in ZF set theory (i.e., Zermelo-Fraenkel set theory minus the Axiom of Choice AC) and show the following: 1. The Axiom of Choice for well-ordered families of non-empty sets ( A C W O ) does not imply “the Tychonoff product 2 , where 2 is the discrete space 0,1, is countably compact” in ZF. This answers in the negative the following question from Keremedis, Felouzis, and Tachtsis [Bull. Polish Acad. Sci. Math. 55 (2007)]: Does the Countable Axiom of Choice for families of non-empty sets...

Linear extenders and the Axiom of Choice

Marianne Morillon (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In set theory without the Axiom of Choice ZF, we prove that for every commutative field 𝕂 , the following statement 𝐃 𝕂 : “On every non null 𝕂 -vector space, there exists a non null linear form” implies the existence of a “ 𝕂 -linear extender” on every vector subspace of a 𝕂 -vector space. This solves a question raised in Morillon M., Linear forms and axioms of choice, Comment. Math. Univ. Carolin. 50 (2009), no. 3, 421-431. In the second part of the paper, we generalize our results in the case...

Axiom T D and the Simmons sublocale theorem

Jorge Picado, Aleš Pultr (2019)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

More precisely, we are analyzing some of H. Simmons, S. B. Niefield and K. I. Rosenthal results concerning sublocales induced by subspaces. H. Simmons was concerned with the question when the coframe of sublocales is Boolean; he recognized the role of the axiom T D for the relation of certain degrees of scatteredness but did not emphasize its role in the relation between sublocales and subspaces. S. B. Niefield and K. I. Rosenthal just mention this axiom in a remark about Simmons’ result....

Covering Property Axiom C P A c u b e and its consequences

Krzysztof Ciesielski, Janusz Pawlikowski (2003)

Fundamenta Mathematicae

Similarity:

We formulate a Covering Property Axiom C P A c u b e , which holds in the iterated perfect set model, and show that it implies easily the following facts. (a) For every S ⊂ ℝ of cardinality continuum there exists a uniformly continuous function g: ℝ → ℝ with g[S] = [0,1]. (b) If S ⊂ ℝ is either perfectly meager or universally null then S has cardinality less than . (c) cof() = ω₁ < , i.e., the cofinality of the measure ideal is ω₁. (d) For every uniformly bounded sequence f n < ω of Borel functions...

The gap between I₃ and the wholeness axiom

Paul Corazza (2003)

Fundamenta Mathematicae

Similarity:

∃κI₃(κ) is the assertion that there is an elementary embedding i : V λ V λ with critical point below λ, and with λ a limit. The Wholeness Axiom, or WA, asserts that there is a nontrivial elementary embedding j: V → V; WA is formulated in the language ∈,j and has as axioms an Elementarity schema, which asserts that j is elementary; a Critical Point axiom, which asserts that there is a least ordinal moved by j; and includes every instance of the Separation schema for j-formulas. Because no instance...

Essentially Incomparable Banach Spaces of Continuous Functions

Rogério Augusto dos Santos Fajardo (2010)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We construct, under Axiom ♢, a family ( C ( K ξ ) ) ξ < 2 ( 2 ω ) of indecomposable Banach spaces with few operators such that every operator from C ( K ξ ) into C ( K η ) is weakly compact, for all ξ ≠ η. In particular, these spaces are pairwise essentially incomparable. Assuming no additional set-theoretic axiom, we obtain this result with size 2 ω instead of 2 ( 2 ω ) .

On certain non-constructive properties of infinite-dimensional vector spaces

Eleftherios Tachtsis (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In set theory without the axiom of choice ( AC ), we study certain non-constructive properties of infinite-dimensional vector spaces. Among several results, we establish the following: (i) None of the principles AC LO (AC for linearly ordered families of nonempty sets)—and hence AC WO (AC for well-ordered families of nonempty sets)— DC ( < κ ) (where κ is an uncountable regular cardinal), and “for every infinite set X , there is a bijection f : X { 0 , 1 } × X ”, implies the statement “there exists a field F such that...

On sentences provable in impredicative extensions of theories

Zygmunt Ratajczyk

Similarity:

CONTENTS0. Introduction.......................................................................... 51. Preliminaries............................................................................... 72. Basic facts to be used in the sequel....................................... 113. Predicates OD(.,.) and CL(.,.).................................................... 174. Predicate Sels............................................................................. 185. Strong n 1 -collection...........................................................

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...

Propositional extensions of L ω 1 ω

Richard Gostanian, Karel Hrbacek

Similarity:

CONTENTS0. Preliminaries....................................................................... 71. Adding propositional connectives to L ω 1 ω ............... 82. The propositional part of L ω 1 ω (S)............................. 103. The operation S and the Boolean algebra B S ............... 114. General model-theoretic properties of L ω 1 ω (S)...... 175. Hanf number computations...................................................... 226. Negative results for L ω 1 ω (S)...........................................

Linking and the Morse complex

Michael Usher (2014)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

For a Morse function f on a compact oriented manifold M , we show that f has more critical points than the number required by the Morse inequalities if and only if there exists a certain class of link in M whose components have nontrivial linking number, such that the minimal value of f on one of the components is larger than its maximal value on the other. Indeed we characterize the precise number of critical points of f in terms of the Betti numbers of M and the behavior of f with respect...

Semi-classical standing waves for nonlinear Schrödinger equations at structurally stable critical points of the potential

Jaeyoung Byeon, Kazunaga Tanaka (2013)

Journal of the European Mathematical Society

Similarity:

We consider a singularly perturbed elliptic equation ϵ 2 Δ u - V ( x ) u + f ( u ) = 0 , u ( x ) > 0 on N , 𝚕𝚒𝚖 x u ( x ) = 0 , where V ( x ) > 0 for any x N . The singularly perturbed problem has corresponding limiting problems Δ U - c U + f ( U ) = 0 , U ( x ) > 0 on N , 𝚕𝚒𝚖 x U ( x ) = 0 , c > 0 . Berestycki-Lions found almost necessary and sufficient conditions on nonlinearity f for existence of a solution of the limiting problem. There have been endeavors to construct solutions of the singularly perturbed problem concentrating around structurally stable critical points of potential V under possibly general conditions...

Indestructible colourings and rainbow Ramsey theorems

Lajos Soukup (2009)

Fundamenta Mathematicae

Similarity:

We show that if a colouring c establishes ω₂ ↛ [(ω₁:ω)]² then c establishes this negative partition relation in each Cohen-generic extension of the ground model, i.e. this property of c is Cohen-indestructible. This result yields a negative answer to a question of Erdős and Hajnal: it is consistent that GCH holds and there is a colouring c:[ω₂]² → 2 establishing ω₂ ↛ [(ω₁:ω)]₂ such that some colouring g:[ω₁]² → 2 does not embed into c. It is also consistent that 2 ω is arbitrarily large,...

Infinite Iterated Function Systems Depending on a Parameter

Ludwik Jaksztas (2007)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

This paper is motivated by the problem of dependence of the Hausdorff dimension of the Julia-Lavaurs sets J 0 , σ for the map f₀(z) = z²+1/4 on the parameter σ. Using homographies, we imitate the construction of the iterated function system (IFS) whose limit set is a subset of J 0 , σ , given by Urbański and Zinsmeister. The closure of the limit set of our IFS ϕ σ , α n , k is the closure of some family of circles, and if the parameter σ varies, then the behavior of the limit set is similar to the behavior of...

Stabilization of monomial maps in higher codimension

Jan-Li Lin, Elizabeth Wulcan (2014)

Annales de l’institut Fourier

Similarity:

A monomial self-map f on a complex toric variety is said to be k -stable if the action induced on the 2 k -cohomology is compatible with iteration. We show that under suitable conditions on the eigenvalues of the matrix of exponents of f , we can find a toric model with at worst quotient singularities where f is k -stable. If f is replaced by an iterate one can find a k -stable model as soon as the dynamical degrees λ k of f satisfy λ k 2 &gt; λ k - 1 λ k + 1 . On the other hand, we give examples of monomial maps f , where...

Local density of diffeomorphisms with large centralizers

Christian Bonatti, Sylvain Crovisier, Gioia M. Vago, Amie Wilkinson (2008)

Annales scientifiques de l'École Normale Supérieure

Similarity:

Given any compact manifold M , we construct a non-empty open subset 𝒪 of the space Diff 1 ( M ) of C 1 -diffeomorphisms and a dense subset 𝒟 𝒪 such that the centralizer of every diffeomorphism in 𝒟 is uncountable, hence non-trivial.

Counting models of set theory

Ali Enayat (2002)

Fundamenta Mathematicae

Similarity:

Let T denote a completion of ZF. We are interested in the number μ(T) of isomorphism types of countable well-founded models of T. Given any countable order type τ, we are also interested in the number μ(T,τ) of isomorphism types of countable models of T whose ordinals have order type τ. We prove: (1) Suppose ZFC has an uncountable well-founded model and κ ω , , 2 . There is some completion T of ZF such that μ(T) = κ. (2) If α <ω₁ and μ(T,α) > ℵ₀, then μ ( T , α ) = 2 . (3) If α < ω₁ and T ⊢ V ≠ OD,...

On the continuity of the Hausdorff dimension of the Julia-Lavaurs sets

Ludwik Jaksztas (2011)

Fundamenta Mathematicae

Similarity:

Let f₀(z) = z²+1/4. We denote by ₀ the set of parameters σ ∈ ℂ for which the critical point 0 escapes from the filled-in Julia set K(f₀) in one step by the Lavaurs map g σ . We prove that if σ₀ ∈ ∂₀, then the Hausdorff dimension of the Julia-Lavaurs set J 0 , σ is continuous at σ₀ as the function of the parameter σ ¯ if and only if H D ( J 0 , σ ) 4 / 3 . Since H D ( J 0 , σ ) > 4 / 3 on a dense set of parameters which correspond to preparabolic points, the lower semicontinuity implies the continuity of H D ( J 0 , σ ) on an open and dense subset of...