English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

The Ground Axiom asserts that the universe is not a nontrivial set-forcing extension of any inner model. Despite the apparent second-order nature of this assertion, it is first-order expressible in set theory. The previously known models of the Ground Axiom all satisfy strong forms of V = HOD. In this article, we show that the Ground Axiom is relatively consistent with V ≠ HOD. In fact, every model of ZFC has a class-forcing extension that is a model of ZFC + GA + V ≠ HOD. The method accommodates large cardinals: every model of ZFC with a supercompact cardinal, for example, has a class-forcing extension with ZFC + GA + V ≠ HOD in which this supercompact cardinal is preserved.

The ground axiom is consistent with V $\neq $ HOD