✦ LIBER ✦

A partial model of NF with ZF

✍ Scribed by Nando Prati

Publisher: John Wiley and Sons
Year: 1993
Tongue: English
Weight: 246 KB
Volume: 39
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19930390132

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

The theory New Foundations (NF) of Quine was introduced in [14]. This theory is finitely axiomatizable as it has been proved in [9]. A similar result is shown in [8] using a system called K. Particular subsystems of NF, inspired by [8] and [9], have models in ZF. Very little is known about subsystems of NF satisfying typical properties of ZF; for example in [11] it is shown that the existence of some sets which appear naturally in ZF is an axiom independent from NF (see also [12]). Here we discuss a model of subsystems of NF in which there is a set which is a model of ZF. MSC: 03E70.

📜 SIMILAR VOLUMES

A new analysis of a lot-size model with

A new analysis of a lot-size model with partial backlogging

✍ David Rosenberg 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 303 KB

## Abstract We reformulate the cost equation for the lot‐size model with partial back‐logging. The formulation is in terms of “fictitious demand rate,” a new inventory decision variable that simplifies the analysis. Using decomposition by projection, we obtain an optimal solution in a straightforwa

Temporal distribution of partial seizure

Temporal distribution of partial seizures: Comparison of an animal model with human partial epilepsy

✍ Dr Mark Quigg; Martin Straume; Michael Menaker; Edward H. Bertam III 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 818 KB

Kinetic Model for Coupling of Radiation

Kinetic Model for Coupling of Radiation with a Partially Ionized Plasma

✍ J. K. Saraf 📂 Article 📅 1977 🏛 John Wiley and Sons 🌐 English ⚖ 287 KB 👁 1 views

A partial model of the erythropoietin re

A partial model of the erythropoietin receptor complex

✍ Caravella, Justin A.; Lyne, Paul D.; Richards, W. Graham 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 836 KB

A model of the structure of erythropoietin (Epo) is presented based on structural homology to other hemopoietic cytokines. A model of the erythropoietin receptor complex w a s made based on evidence that this includes a homodimer of the receptor chain with known sequence. Key interactions are noted

Partial maintainability of a population

Partial maintainability of a population model in a stochastic environment

✍ Tsantas, N. ;Georgiou, A. C. 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 95 KB 👁 1 views

We consider a non-homogeneous Markov system in a stochastic environment. Concepts of recruitment control are empoyed in order to study the probabilities of partially maintaining population structures under this establishment. Two conditions taken from the deterministic case of the partial control pr

Union: a model for partial temporal corr

Union: a model for partial temporal corruption of speech

✍ Ji Ming; F. Jack Smith 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 139 KB

This paper proposes a new statistical approach, namely the probabilistic union model, for speech recognition subjected to unknown burst noise during the utterance. The model combines the local temporal information based on the union of random events, to reduce the dependence of the model on informat