A note on effective ultrapowers: Uniform failure of bounded collection (Q4304780)
From MaRDI portal
scientific article; zbMATH DE number 627566
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A note on effective ultrapowers: Uniform failure of bounded collection |
scientific article; zbMATH DE number 627566 |
Statements
A note on effective ultrapowers: Uniform failure of bounded collection (English)
0 references
31 August 1994
0 references
models of arithmetic
0 references
collection schema
0 references
uniform failure
0 references
recursive ultrapower
0 references
existentially completed model
0 references
