e-ISSN: Pending
Negative / Null Result ReportOpen accessMathematics

Constructible sets in lattice-valued models: A negative result

Jose Moncayo; Pedro H. Zambrano · 2023 · arXiv

WASTE classifies this as Negative / Null Result Report · AI classification, approximate

The study found no significant effect — useful as a negative control or null benchmark for your own design.

Abstract (excerpt)

We investigate different set-theoretic constructions in Residuated Logic based on Fitting's work on Intuitionistic Set Theory. We start by stating some results concerning constructible sets within valued models of Set Theory. We present two distinct constructions of the constructible universe: $\mathfrak{L}^{\mathbb{Q}}$ and $\mathbb{L}^{\mathbb{Q}}$, and show that they are isomorphic to V (the classical von Neumann universe) and L (the classical Gödel constructible universe), respectively. Even though lattice-valued models are the natural way to study non-classical Set Theory (e.g., Intuition

Excerpt shown for reference under fair use — read the full paper at the publisher.

About to run something similar?

Run an AI Precheck on your own design to catch failure modes like this one before you spend the time. Your first desk check is free.

WASTE indexes this work — it does not host or republish it. Failure-type classification is automated and approximate.

Metadata source: arXiv