Archive for Mathematical Logic

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски

Volume 37; Issue 3

Two applications of Boolean models

Consistency proof via pointwise induction

All finitely axiomatizable subframe logics containing the provability logic CSM(_{0})are decidable

Mob families and mad families

A characterization of the(Sigma_1)-definable functions of(KPomega + (uniform; AC))