Worlds of homogeneous artifacts

DOI10.1305/ndjfl/1040149360zbMath0834.03020OpenAlexW1986960502MaRDI QIDQ1906675

Athanassios Tzouvaras

Publication date: 31 March 1996

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040149360

zbMATH Keywords

behavior of classes of artifacts in timeextension of the theory of finite sets with urelementsfirst-order theory of artificial objects

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70) Nonstandard models of arithmetic (03H15)

Related Items

A first order theory of functional parthood ⋮ Objects and their lambda calculus ⋮ Scalar and fuzzy cardinalities of crisp and fuzzy multisets ⋮ Modeling vagueness by nonstandardness

Cites Work

• Significant parts and identity of artifacts
• Model theory
• Saturated models of Peano arithmetic
• On the Convexity of the Level Curves of a Polynomial

This page was built for publication: Worlds of homogeneous artifacts