scientific article; zbMATH DE number 1417380
From MaRDI portal
Publication:4944095
Recommendations
- A generalized `useful' inaccuracy of order and type and coding theorems
- scientific article; zbMATH DE number 4127148
- A proof-theoretic characterization of independence in type theory
- On a criterion for omissibility of a countable set of types in an incomplete theory
- On definability of types and relative stability
- Typability in bounded dimension
- On the ubiquity of certain total type structures
- The underdetermination of typings
- A generalization of Beth model to functionals of high types
- An incompleteness theorem for βn-models
Cited in
(2)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4944095)