PL
 |
EN
Ograniczanie wyników
Czasopisma help
  1. 1 Reports on Mathematical Logic
Autorzy help
  1. 1 Hinion R.
Lata help
  1. 1 2006
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 1

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  positive set theory
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Intensional positive set theory
Hinion R.
Reports on Mathematical Logic
|
2006
|
Nr 40
107-125
EN
This paper shows that, via a simple kind of forcing, one can construct a pure term model for intensional positive set theory, where sets are defined by positive formulas and identifica- tions are ruled by equivalence of the defining formulas. Further one can also construct a model that "contains ZF".
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.