by Jon Barwise
1942
No reviews yet — be the first to write one from the Log screen.
No quotes yet.
Definability theory (Mathematical logic) · Admissible sets
Admissible Sets, and Structures
1975
Admissible sets · Definability theory (Mathematical logic)
Filters and ultrafilters over definable subsets of admissible ordinals
1986
Admissible sets · Proof theory
Theories for admissible sets
Theories for admissible sets, a unifying approach to proof theory
Admissible sets
On admissibility among affine sets of linear estimators
1985
Definability theory (Mathematical logic) · Interpolation
Interpolation and definability
2005
Definability theory (Mathematical logic) · Computable functions
Definability and computability
1996
Definability theory (Mathematical logic) · Paradox
Mathematical definability and the paradoxes
1983
Computational complexity · Constructive mathematics
Bounded arithmetic
Definability and Computability (Siberian School of Algebra and Logic)
Definability theory (Mathematical logic) · Artificial intelligence
Circumscription and generic mathematical objects
1992
Definability theory (Mathematical logic)
Aspects of definability
1977
