Generic Sets and Arbitrary Objects

doi:10.1111/nous.70039

2026-02-01

PRE

Venturi, Giorgio *

DOI：10.1111/nous.70039

原文链接

原文求助

摘要

En 中文

本文中，我研究了在力迫理论背景下，通设能否被理解为Fine或Horsten意义上的任意对象。我将提供一个部分肯定、部分否定的答案。具体而言，答案将取决于我是否将通设视为对象或名称。我还将我们的观点与Horsten关于布尔赋值集合作为任意对象的观点进行比较。最后，我建议存在一组语义上类似于任意性的概念，这些概念在数学中产生了有用的对象。

Keyword:

Generic Sets

Arbitrary Objects

Forcing

Boolean-Valued Sets

Semantics