http://hdl.handle.net/20.500.12128/15990
Tytuł: | On Lindenbaum's extensions. (Part C.) |
Autor: | Biela, Andrzej |
Słowa kluczowe: | Lindenbaum's extensions; Tarski's theorems |
Data wydania: | 1976 |
Źródło: | Bulletin of the Section of Logic, Vol. 5, no. 2 (1976), s. 68-75 |
Abstrakt: | The full text with detailed proofs will appear in Reports on Mathematical Logic. 1. The purpose of the present paper is to discuss the theorems on existence one Lindenbaum's extensions for finitely axiomatizable systems. This problem is connected with the well known Tarski's theorems (cf. [15]) and the paper [2] devoted not finitely axiomatizable systems which have only one Lindenbaum's extension. Moreover among other things we will consider systems with different than R0* -rules and the system with TM- property for M = Z2i (i = 1, 2, 3 cf. [3]) (Fragment tekstu). |
URI: | http://hdl.handle.net/20.500.12128/15990 |
ISSN: | 2449-836X 0138-0680 |
Pojawia się w kolekcji: | Artykuły (WNŚiT) |
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
Biela_On_Lindenbaums_extensions_Part_C.pdf | 343,93 kB | Adobe PDF | Przejrzyj / Otwórz |
Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons