On Lindenbaum's extensions. (Part C.)

Pełny rekord metadanych

DC pole	Wartość	Język
dc.contributor.author	Biela, Andrzej	-
dc.date.accessioned	2020-09-18T07:36:23Z	-
dc.date.available	2020-09-18T07:36:23Z	-
dc.date.issued	1976	-
dc.identifier.citation	Bulletin of the Section of Logic, Vol. 5, no. 2 (1976), s. 68-75	pl_PL
dc.identifier.issn	2449-836X	-
dc.identifier.issn	0138-0680	-
dc.identifier.uri	http://hdl.handle.net/20.500.12128/15990	-
dc.description.abstract	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).	pl_PL
dc.language.iso	en	pl_PL
dc.rights	Uznanie autorstwa-Użycie niekomercyjne-Bez utworów zależnych 3.0 Polska	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/pl/	*
dc.subject	Lindenbaum's extensions	pl_PL
dc.subject	Tarski's theorems	pl_PL
dc.title	On Lindenbaum's extensions. (Part C.)	pl_PL
dc.type	info:eu-repo/semantics/article	pl_PL
Pojawia się w kolekcji:	Artykuły (WNŚiT)

Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons