Weak Vopěnka's principle does not imply Vopěnka's principle

DOI10.1016/J.AIM.2020.106986MaRDI QIDQ2295468zbMATH OpenOpenAlexWikidataFDO

Authors Trevor M. Wilson

Publication date 13 February 2020

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1909.09333

zbMATH Keywords

large cardinalsVopěnka's principle

Mathematics Subject Classification ID

Large cardinals (03E55) Structural characterization of families of graphs (05C75) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Embedding theorems, universal categories (18B15)

Abstract: Vopv{e}nka's Principle says that the category of graphs has no large discrete full subcategory, or equivalently that the category of ordinals cannot be fully embedded into it. Weak Vopv{e}nka's Principle is the dual statement, which says that the opposite category of ordinals cannot be fully embedded into the category of graphs. It was introduced in 1988 by Ad'{a}mek, Rosick'{y}, and Trnkov'{a}, who showed that it follows from Vopv{e}nka's Principle and asked whether the two statements are equivalent. We show that they are not. However, we show that Weak Vopv{e}nka's Principle is equivalent to the generalization of itself known as Semi-Weak Vopv{e}nka's Principle.

Recommendations

• Consequences of Vopěnka's principle over weak set theories
• The large cardinal strength of weak Vopenka’s principle
• The bordism version of the h-principle
• On a theory of weak implications
• THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES
• scientific article; zbMATH DE number 1292304
• A very weak square principle
• The weak choice principle WISC may fail in the category of sets
• The weakly compact reflection principle need not imply a high order of weak compactness
• scientific article; zbMATH DE number 5866432

Cites work

• \(C ^{(n)}\)-cardinals
• How large is the first strongly compact cardinal? or a study on identity crises
• scientific article; zbMATH DE number 4093713 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 3240401 (Why is no real title available?)
• On full embeddings of categories of algebras
• On Injectivity in Locally Presentable Categories
• Strong axioms of infinity and elementary embeddings
• The higher infinite. Large cardinals in set theory from their beginnings.
• Unexpected properties of locally presentable categories

Cited in

(4)

• Approximate injectivity and smallness in metric-enriched categories
• Consequences of Vopěnka's principle over weak set theories
• The large cardinal strength of weak Vopenka’s principle
• THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES

This page was built for publication: Weak Vopěnka's principle does not imply Vopěnka's principle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2295468)