AXIOMATIC CHARACTERIZATION OF BOOLEAN-VALUED MODELS FOR SET-THEORY

被引：0

|

作者：

KOSCIELS.A ^{[1
]}

机构：

[1] UNIV WROCLAW,INST MATH,WROCLAW,POLAND

来源：

COLLOQUIUM MATHEMATICUM | 1973年 / 27卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：165 / 170

页数：6

相关论文

共 50 条

[41] PARADOXES AND MANY-VALUED SET-THEORY
MAYDOLE, RE
JOURNAL OF PHILOSOPHICAL LOGIC, 1975, 4 (03) : 269 - 291
[42] HEYTING VALUED SET-THEORY AND SATO HYPERFUNCTIONS
NISHIMURA, H
PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES, 1986, 22 (04) : 801 - 811
[43] Boolean-Valued Semantics for the Stochastic λ-Calculus
Bacci, Giorgio
Furber, Robert
Kozen, Dexter
Mardare, Radu
Panangaden, Prakash
Scott, Dana S.
LICS'18: PROCEEDINGS OF THE 33RD ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, 2018, : 669 - 678
[44] BOOLEAN-VALUED ANALYSIS OF EXTENDED MODULES
KUSRAEV, AG
DOKLADY AKADEMII NAUK SSSR, 1982, 267 (05): : 1049 - 1052
[45] DEFINABILITY IN MODELS OF SET-THEORY
GUASPARI, D
JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (01) : 9 - 19
[46] SHEAF MODELS FOR SET-THEORY
FOURMAN, MP
JOURNAL OF PURE AND APPLIED ALGEBRA, 1980, 19 (DEC) : 91 - 101
[47] 3-VALUED MODEL FOR SET-THEORY
ROSE, A
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1978, 24 (05): : 437 - 440
[48] ON TOPOLOGICAL MODELS OF SET-THEORY
CIRIC, D
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1063 - 1063
[49] Boolean-Valued Analysis and Injective Banach Lattices
Kusraev, A. G.
DOKLADY MATHEMATICS, 2012, 85 (03) : 341 - 343
[50] INTRODUCTION TO AXIOMATIC SET-THEORY - TAKEUTI,G, ZARING,WM
VANDALEN, D
PHILOSOPHIA, 1979, 9 (01) : 125 - 126

← 1 2 3 4 5 →