Definability Logic

14 books
Aspects of definabilityVeikko Rantala
⏱ 3h 56m

Aspects of definability

Veikko Rantala

1977236 pp.
Mathematical definability and the paradoxesRalph Gregory Taylor
⏱ 6h 49m

Mathematical definability and the paradoxes

Ralph Gregory Taylor

1983409 pp.
Admissible sets and structuresJon Barwise
⏱ 6h 34m

Admissible sets and structures

Jon Barwise

1975394 pp.
Interpolation and definabilityDov M. Gabbay
⏱ 8h 28m

Interpolation and definability

Dov M. Gabbay

2005508 pp.
IndefinabilityZhozefina Pasternak
⏱ 2h 21m

Indefinability

Zhozefina Pasternak

1999141 pp.
Implizit definierte MengensystemeHans Leiss
⏱ 2h 39m

Implizit definierte Mengensysteme

Hans Leiss

1983159 pp.
Admissible Sets, and StructuresK. J. Barwise
⏱ 6h 34m

Admissible Sets, and Structures

K. J. Barwise

1975394 pp.
Circumscription and generic mathematical objectsBertossi, Leopoldo, E.
⏱ 15m

Circumscription and generic mathematical objects

Bertossi, Leopoldo, E.

199215 pp.
Definability and Computability (Siberian School of Algebra and Logic)Yuri L. Ershov
⏱ 4h 44m

Definability and Computability (Siberian School of Algebra and Logic)

Yuri L. Ershov

1996284 pp.
Definability and computabilityI͡Uriĭ Leonidovich Ershov
⏱ 4h 24m

Definability and computability

I͡Uriĭ Leonidovich Ershov

1996264 pp.
Opredelimostʹ i vychislimostʹI͡Uriĭ Leonidovich Ershov
⏱ 4h 46m

Opredelimostʹ i vychislimostʹ

I͡Uriĭ Leonidovich Ershov

1996286 pp.
Filters and ultrafilters over definable subsets of admissible ordinalsJ. C. M. Baeten
⏱ 1h 17m

Filters and ultrafilters over definable subsets of admissible ordinals

J. C. M. Baeten

198677 pp.
Bounded arithmeticSamuel R. Buss
⏱ 3h 41m

Bounded arithmetic

Samuel R. Buss

1986221 pp.
Trends in Set TheorySamuel Coskey
⏱ 3h 34m

Trends in Set Theory

Samuel Coskey

2020214 pp.