English
Related papers

Related papers: Critical points in an algebra of elementary embedd…

200 papers

Let $j:V_\lambda---> V_\lambda$ be an elementary embedding, with critical point $\kappa$, and let $f(n)$ be the number of critical points of embeddings in the algebra generated by $j$ which lie between $j^n(\kappa)$ and $j^{n+1}(\kappa)$.…

Logic · Mathematics 2008-02-03 Richard Laver

In this paper, we continue the study of a left-distributive algebra of elementary embeddings from the collection of sets of rank less than lambda to itself, as well as related finite left-distributive algebras (which can be defined without…

Logic · Mathematics 2016-09-06 Randall Dougherty

Let $j$ be an elementary embedding of $V_{\lambda}$ into $V_{\lambda}$ that is not the identity, and let $\kappa$ be the critical point of $j$. Let $\Cal A$ be the closure of $\{j\}$ under the operation $a (b)$ of application, and let…

Logic · Mathematics 2008-02-03 Thomas Jech

The critical point between varieties A and B of algebras is defined as the least cardinality of the semilattice of compact congruences of a member of A but of no member of B, if it exists. The study of critical points gives rise to a whole…

Rings and Algebras · Mathematics 2011-02-28 Friedrich Wehrung

For each natural number $n$, let $C^{(n)}$ be the closed and unbounded proper class of ordinals $\alpha$ such that $V_\alpha$ is a $\Sigma_n$ elementary substructure of $V$. We say that $\kappa$ is a \emph{$C^{(n)}$-cardinal} if it is the…

Logic · Mathematics 2019-08-27 Joan Bagaria

In this paper, we apply our minimax theory ([4], [5], [6]) with the one developed by A. Moameni in [2] to formalize a general scheme giving the multiplicity of critical points. Here is a sample of application of the scheme to a critical…

Analysis of PDEs · Mathematics 2025-01-14 Biagio Ricceri

Hayut and first author isolated the notion of a critical cardinal in [1]. In this work we answer several questions raised in the original paper. We show that it is consistent for a critical cardinals to not have any ultrapower elementary…

Logic · Mathematics 2024-01-08 Asaf Karagila , Jiachen Yuan

We study the set of critical points of a solution to $\Delta u = \lambda \cdot u$ and in particular components of the critical set that have codimension 1. We show, for example, that if a second Neumann eigenfunction of a simply connected…

Analysis of PDEs · Mathematics 2022-04-27 Chris Judge , Sugata Mondal

We shall generalize the notion of a Laver table to algebras which may have many generators, several fundamental operations, fundamental operations of arity higher than 2, and to algebras where only some of the operations are…

Logic · Mathematics 2018-12-10 Joseph Van Name

We introduce the notion of a `pure` Abstract Elementary Class to block trivial counterexamples. We study classes of models of bipartite graphs and show: Main Theorem (cf. Theorem 3.5.2 and Corollary 3.5.6): If $(\lambda_i : i \le…

Logic · Mathematics 2015-02-20 John T. Baldwin , Martin Koerwien , Ioannis Souldatos

The set-theoretic large cardinal axiom known as I3 posits the existence of a non-trivial rank-to-rank embedding from an initial segment of the universe of sets into itself. Laver showed that the algebra generated by a single such embedding…

Logic · Mathematics 2025-08-05 Andrew D. Brooke-Taylor , Scott Cramer , Sheila K. Miller Edwards

Assuming a large cardinal hypothesis, Laver gave a representation of the monogenerated free left distributive algebra (LDA) using elementary embeddings and used this representation to prove many algebraic results. Some of these results were…

Logic · Mathematics 2026-04-13 Scott Cramer , Meng-Che "Turbo" Ho , Sheila K. Miller Edwards , Nam Trang

The multiplier $\lambda_n$ of a periodic orbit of period $n$ can be viewed as a (multiple-valued) algebraic function on the space of all complex quadratic polynomials $p_c(z)=z^2+c$. We provide a numerical algorithm for computing critical…

Dynamical Systems · Mathematics 2019-02-28 Anna Belova , Igors Gorbovickis

We consider the population of critical points, generated from the critical point of the master function with no variables, which is associated with the trivial representation of the twisted affine Lie algebra $C_n^{(1)}$. The population is…

Algebraic Geometry · Mathematics 2018-11-09 Alexander Varchenko , Tyler Woodruff

We consider critical points of master functions associated with integral dominant weights of Kac-Moody algebras and introduce a generating procedure constructing new critical points starting from a given one. The set of all critical points…

Quantum Algebra · Mathematics 2007-05-23 E. Mukhin , A. Varchenko

We investigate the structure of rank-to-rank elementary embeddings, working in ZF set theory without the Axiom of Choice. Recall that the levels $V_\alpha$ of the cumulative hierarchy are defined via iterated application of the power set…

Logic · Mathematics 2020-11-17 Gabriel Goldberg , Farmer Schlutzenberg

We consider the problem of computing critical points of the restriction of a polynomial map to an algebraic variety. This is of first importance since the global minimum of such a map is reached at a critical point. Thus, these points…

Symbolic Computation · Computer Science 2012-02-02 Jean-Charles Faugère , Mohab Safey El Din , Pierre-Jean Spaenlehauer

Let $\mathbf{f} = \left(f_1, \dots, f_p\right) $ be a polynomial tuple in $\mathbb{Q}[z_1, \dots, z_n]$ and let $d = \max_{1 \leq i \leq p} \deg f_i$. We consider the problem of computing the set of asymptotic critical values of the…

Symbolic Computation · Computer Science 2021-04-05 Jérémy Berthomieu , Andrew Ferguson , Mohab Safey El Din

We consider the population of critical points generated from the critical point of the master function with no variables, which is associated with the trivial representation of the twisted affine Lie algebra $A^{(2)}_{2n}$. The population…

Algebraic Geometry · Mathematics 2017-02-22 Alexander Varchenko , Tyler Woodruff

This paper investigates the sample dependence of critical points for neural networks. We introduce a sample-independent critical lifting operator that associates a parameter of one network with a set of parameters of another, thus defining…

Machine Learning · Computer Science 2025-05-21 Leyang Zhang , Yaoyu Zhang , Tao Luo
‹ Prev 1 2 3 10 Next ›