On the crispness of and arithmetic with a bisimulation in a constructive naive set theory (Q5172136)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the crispness of and arithmetic with a bisimulation in a constructive naive set theory |
scientific article; zbMATH DE number 6403084
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the crispness of and arithmetic with a bisimulation in a constructive naive set theory |
scientific article; zbMATH DE number 6403084 |
Statements
On the crispness of and arithmetic with a bisimulation in a constructive naive set theory (English)
0 references
12 February 2015
0 references
naive set theory
0 references
comprehension principle
0 references
contraction-free logic
0 references
non-well founded set theory
0 references
bisimulation
0 references
0.7041231393814087
0 references
0.6965903639793396
0 references
0.6965546607971191
0 references
0.6965546607971191
0 references
