Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure (Q5747639)
From MaRDI portal
scientific article; zbMATH DE number 5785332
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure |
scientific article; zbMATH DE number 5785332 |
Statements
Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure (English)
0 references
14 September 2010
0 references
