Cover Image

Modified version of a formal proof of completeness of the decreasing diagrams method for proving confluence of relations of the least uncountable cardinality

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Ivanov, Ievgen
Format:	Recurso digital
Published:	Zenodo 2025
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A note on Hindman-type theorems for uncountable cardinals
by: Carlucci, Lorenzo
Published: (2017)

The failure of square at all uncountable cardinals is weaker than a Woodin limit of Woodin cardinals
by: Blue, Douglas, et al.
Published: (2026)

An uncountable number of proofs of Pythagoras Theorem
by: Bhatnagar, Gaurav, et al.
Published: (2023)

A method for the automated generation of proof exercises with comparable levels of proving complexity
by: Mendes, João, et al.
Published: (2026)

Finite element method. Detailed proofs to be formalized in Coq
by: Clément, François, et al.
Published: (2024)

The construction principle and non homogeneity of uncountable relatively free groups
by: Carolillo, Davide, et al.
Published: (2023)

Steep uncountable groups
by: Corson, Samuel M., et al.
Published: (2023)

Geostrophic circulation of the Brazil-Falkland confluence
by: Gordon, A., et al.
Published: (1986)

On the completeness of contraction map proof method for holographic entropy inequalities
by: Bao, Ning, et al.
Published: (2025)

Growth diagram proofs for the Littlewood identities
by: Schreier-Aigner, Florian
Published: (2024)

Model Data for a combined confluence and bifurcation node
by: Deng, Zhaohui
Published: (2025)

Model Data for a combined confluence and bifurcation node
by: Deng, Zhaohui
Published: (2025)

Strong confluence of geodesics in Liouville quantum gravity
by: Bhatia, Manan, et al.
Published: (2025)

On resolvability and tightness in uncountable spaces
by: Lipin, Anton
Published: (2024)

Demushkin groups of uncountable rank
by: Bar-On, Tamar, et al.
Published: (2023)

The uncountability of the reals and the Axiom of Choice
by: Normann, Dag, et al.
Published: (2026)

Demushkin groups of uncountable rank
by: Tamar Bar‐On, et al.
Published: (2024)

Analysis of the $hp$-version of a first order system least squares method for the Helmholtz equation
by: Bernkopf, Maximilian, et al.
Published: (2018)

Conventionalism in general relativity?: formal existence proofs and Reichenbach's theorem θ in context
by: Mulder, Ruward
Published: (2026)

Cubical coherent confluence, $ω$-groupoids and the cube equation
by: Malbos, Philippe, et al.
Published: (2025)

The adjacent Hindman's theorem for uncountable groups
by: Carlucci, Lorenzo, et al.
Published: (2020)

An uncountable Furstenberg--Zimmer structure theory
by: Jamneshan, Asgar
Published: (2021)

A note on uncountably chromatic graphs
by: Bowler, Nathan, et al.
Published: (2024)

Quasi-Newton method of Optimization is proved to be a steepest descent method under the ellipsoid norm
by: Li, Jiongcheng
Published: (2024)

Maximal monotonicity of the subdifferential of a convex function: a direct proof
by: Ivanov, Milen, et al.
Published: (2016)

A formal proof of the Riemann Hypothesis
by: Rivis, Stefano
Published: (2026)

Intergalactic magnetic field lower limits up to the redshift $z\approx3$
by: Vovk, Ievgen
Published: (2025)

The word problem and growth of groups
by: Bondarenko, Ievgen
Published: (2024)

Quaternionic lattices and poly-context-free word problem
by: Bondarenko, Ievgen
Published: (2024)

Brick wall diagrams as a completely integrable system
by: Kade, Moritz, et al.
Published: (2023)

Modified least squares method and a review of its applications in machine learning and fractional differential/integral equations
by: Singh, Abhishek Kumar, et al.
Published: (2024)

The confluence of fractured resonances at points of dynamical, many--body flare
by: De, Bitan, et al.
Published: (2023)

Modified projected Gauss-Newton method for constrained nonlinear least-squares: application to power flow analysis
by: Nabou, Yassine, et al.
Published: (2025)

Counter-example to continuity of measure in uncountable unions
by: Bilkhu, Simranjeet, et al.
Published: (2025)

On compactness of weak square at singulars of uncountable cofinality
by: Levine, Maxwell
Published: (2022)

On formality of diagrams of Eilenberg-MacLane spaces
by: Solomadin, Grigory, et al.
Published: (2026)

Capturing properties of planar diagrams in Lean proof assistant software
by: Litterick, Alastair, et al.
Published: (2025)

Hecke growth diagrams, and maximal increasing and decreasing sequences in fillings of stack polyominoes
by: Guo, Ting, et al.
Published: (2024)

Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
by: Incatasciato, Guillermo L., et al.
Published: (2024)

MLE convergence speed to information projection of exponential family: Criterion for model dimension and sample size -- complete proof version--
by: Sheena, Yo
Published: (2021)