by K. J. Barwise, Barwise, Jon.
No reviews yet — be the first to write one from the Log screen.
No quotes yet.
Definability theory (Mathematical logic) · Interpolation
Interpolation and definability
2005
Definability theory (Mathematical logic) · Computable functions
Definability and computability
1996
Opredelimostʹ i vychislimostʹ
Definability and Computability (Siberian School of Algebra and Logic)
Admissible sets · Definability theory (Mathematical logic)
Filters and ultrafilters over definable subsets of admissible ordinals
1986
Admissible sets · Proof theory
Theories for admissible sets
Admissible sets · Definability theory
Admissible sets and structures
1975
Theories for admissible sets, a unifying approach to proof theory
Admissible sets
On admissibility among affine sets of linear estimators
1985
