Truth in the limit
Truth in the limit

Summary/Abstract: We consider sl-semantics in which rst order sentences are interpreted in potentially innite domains. A potentially innite domain is a growing sequence of nite models. We prove the completeness theorem for rst order logic under this semantics. Additionally we characterize the logic of such domains as having a learnable, but not recursive, set of axioms. The work is a part of author's research devoted to computationally motivated foundations of mathematics.

• Details
• Contents