- Tytuł:
- Forcing for First-Order Languages from the Perspective of Rasiowa-Sikorski Lemma
- Autorzy:
- Czelakowski, J.
- Data publikacji:
- 2017
- Słowa kluczowe:
-
first-order logic
substitutional semantics
Lindenbaum set
Rasiowa–Sikorski set
Boolean algebra
ultrafilter
forcing - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł