Downloads & Free Reading Options - Results

First Order Categorical Logic by Michael Makkai

Read "First Order Categorical Logic" by Michael Makkai through these free online access and download options.

Search for Downloads

Search by Title or Author

Books Results

Source: The Internet Archive

The internet Archive Search Results

Available books for downloads and borrow from The internet Archive

1Infinitary First-order Categorical Logic

By

We present a unified categorical treatment of completeness theorems for several classical and intuitionistic infinitary logics with a proposed axiomatization. This provides new completeness theorems and subsumes previous ones by G\"odel, Kripke, Beth, Karp, Joyal, Makkai and Fourman/Grayson. As an application we prove, using large cardinals assumptions, the disjunction and existence properties for infinitary intuitionistic first-order logics.

“Infinitary First-order Categorical Logic” Metadata:

  • Title: ➤  Infinitary First-order Categorical Logic
  • Author:

“Infinitary First-order Categorical Logic” Subjects and Themes:

Edition Identifiers:

Downloads Information:

The book is available for download in "texts" format, the size of the file-s is: 0.42 Mbs, the file-s for this book were downloaded 27 times, the file-s went public at Sat Jun 30 2018.

Available formats:
Archive BitTorrent - Metadata - Text PDF -

Related Links:

Online Marketplaces

Find Infinitary First-order Categorical Logic at online marketplaces:


Top of Page

Buy “First Order Categorical Logic” online:

Shop for “First Order Categorical Logic” on popular online marketplaces.