On the crispness of \(\omega\) 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 the normal view instead:
scientific article; zbMATH DE number 6403084
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On the crispness of \(\omega\) 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
