𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A nominalistic proof of the conservativeness of set theory

✍ Scribed by Hartry Field

Publisher
Springer Netherlands
Year
1992
Tongue
English
Weight
629 KB
Volume
21
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Proof theory of higher-order equations:
Proof theory of higher-order equations: conservativity, normal forms and term rewriting
✍ K. Meinke πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 393 KB

We introduce a necessary and sufficient condition for the o-extensionality rule of higher-order equational logic to be conservative over first-order many-sorted equational logic for ground first-order equations. This gives a precise condition under which computation in the higher-order initial model

A very short proof of a conjecture conce
A very short proof of a conjecture concerning set-to-set broadcasting
✍ Qiao Li; Zhongliang Zhang; Junming Xu πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 96 KB

We present a very short proof of a conjecture of Richards and Liestman concerning set-to-set broadcasting. 0 1993 by John Wiley & Sons, Inc.

The Proof of a Conjecture of Additive Nu
The Proof of a Conjecture of Additive Number Theory
✍ Alexandru Gica πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 94 KB

The aim of this paper is to show that for any n Β₯ N, n > 3, there exist a, b Β₯ N\* such that n=a+b, the ''lengths'' of a and b having the same parity (see the text for the definition of the ''length'' of a natural number). Also we will show that for any n Β₯ N, n > 2, n ] 5, 10, there exist a, b Β₯ N\