SearcharxivSearch

arXiv subjects

Luca Steinkrauss

Publications and source records attributed to Luca Steinkrauss.

1 recordsLinked to original sources

Axioms for Arbitrary Object Theory

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.

math.LO