Classifying ℵ_o-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II Theories

ISSN： 0039-3215

Source： Studia Logica, Vol.60, Iss.2, 1998-03, pp. : 275-297

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Negationless Interpretation of Intuitionistic Theories. II

By Krivtsov V.N.

Studia Logica, Vol. 65, Iss. 2, 2000-07 ,pp. : 155-179

Springer Publishing Company

Access to resources Recommend Favorite

Not Every "Tabular" Predicate Logic is Finitely Axiomatizable

By Skvortsov D.

Studia Logica, Vol. 59, Iss. 3, 1997-11 ,pp. : 387-396

Springer Publishing Company

Access to resources Recommend Favorite

Part II: Applications of Process-Based Theories: Process and Emergence: Normative Function and Representation

By Bickhard Mark H.

Axiomathes, Vol. 14, Iss. 1, 2003-01 ,pp. : 121-155

Springer Publishing Company

Access to resources Recommend Favorite

Part II: Applications of Process-Based Theories: Process and Emergence: Normative Function and Representation

By Bickhard Mark

Axiomathes, Vol. 14, Iss. 1-3, 2004-03 ,pp. : 121-155

Springer Publishing Company

Access to resources Recommend Favorite

All Normal Extensions of S5-squared Are Finitely Axiomatizable

By Bezhanishvili Nick Hodkinson Ian

Studia Logica, Vol. 78, Iss. 3, 2004-12 ,pp. : 443-457

Springer Publishing Company

Access to resources Recommend Favorite