A Theory of Classes: Proofs and Models

Mathematical Structures in Computer Science - United Kingdom
doi 10.1017/s0960129596002125
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

On the Universal Theory of Classes of Finite Models

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1984English

Sigma Theory and Twisted Conjugacy Classes

Pacific Journal of Mathematics
Mathematics
2010English

On Compact Classes of Models

Fundamenta Mathematicae
Number TheoryAlgebra
1972English

Algebraic Proofs of Some Fundamental Theorems in Algebraic $K$-Theory

Homology, Homotopy and Applications
Mathematics
2015English

Universality Classes of Polymer Melts and Conformal Sigma Models

Journal of Physics A: Mathematical and Theoretical
StatisticsProbabilityNonlinear PhysicsSimulationMathematical PhysicsStatisticalModelingAstronomyPhysics
2010English

Nuprl as Logical Framework for Automating Proofs in Category Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Peano Models With Many Generic Classes

Pacific Journal of Mathematics
Mathematics
1973English

Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1984English

Closure Classes Originating in the Theory of Probability

Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
1953English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy