Stating infinity in set/hyperset theory (Q3002402)
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 5898611
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Stating infinity in set/hyperset theory |
scientific article; zbMATH DE number 5898611 |
Statements
20 May 2011
0 references
satisfiability
0 references
decision algorithms
0 references
infinity axiom
0 references
computable set theory
0 references
non-well-founded sets
0 references
0.8832781314849854
0 references
0.833079993724823
0 references
0.8032422661781311
0 references
0.7588332295417786
0 references
0.748036801815033
0 references
