Axioms for Arbitrary Object Theory
Logic
2025-04-30 v1
Abstract
We formulate and discuss a general axiomatic theory of arbitrary objects. This theory is expressed in a simple first-order language without modal operators, and it is governed by classical logic.
Keywords
Cite
@article{arxiv.2504.20122,
title = {Axioms for Arbitrary Object Theory},
author = {Luca Steinkrauss and Leon Horsten},
journal= {arXiv preprint arXiv:2504.20122},
year = {2025}
}