-
2
-
-
33845911132
-
Quasivarieties of partial algebras - a unifying approach towards a two-value model theory for partial algebras
-
Andréka H., Burmeister P., and Németi I. Quasivarieties of partial algebras - a unifying approach towards a two-value model theory for partial algebras. Studia Scientiarum Mathematicarum Hungarica 16 (1981) 325-372
-
(1981)
Studia Scientiarum Mathematicarum Hungarica
, vol.16
, pp. 325-372
-
-
Andréka, H.1
Burmeister, P.2
Németi, I.3
-
3
-
-
33845913978
-
-
H. Andréka, I. Németi, Generalization of the concept of variety and quasivariety to partial algebras through category theory, Dissertationes Mathematicae (Rozprawy Matematyczne) 204 (1983) 1-51
-
-
-
-
4
-
-
0004086833
-
-
Springer-Verlag no. 12 in Reprints in Theory and Applications of Categories, Theory and Applications of Categories, Mount Allison University, 2005
-
Barr M., and Wells C. Toposes, Triples and Theories (1984), Springer-Verlag no. 12 in Reprints in Theory and Applications of Categories, Theory and Applications of Categories, Mount Allison University, 2005
-
(1984)
Toposes, Triples and Theories
-
-
Barr, M.1
Wells, C.2
-
6
-
-
77956972461
-
Proving programs and programming proofs
-
Logic, Methodology and Philosophy of Science VII (Amsterdam). Barcan-Marcus R., Dorn G., and Weingartner P. (Eds), North-Holland
-
Beeson M. Proving programs and programming proofs. In: Barcan-Marcus R., Dorn G., and Weingartner P. (Eds). Logic, Methodology and Philosophy of Science VII (Amsterdam). Studies in Logic and Foundations of Mathematics no. 114 (1986), North-Holland 51-82
-
(1986)
Studies in Logic and Foundations of Mathematics
, vol.114
, pp. 51-82
-
-
Beeson, M.1
-
9
-
-
33845896478
-
-
P. Burmeister, Lecture Notes on Universal Algebra: Many-sorted Partial Algebras, 2002. Available on the web
-
-
-
-
11
-
-
33845900397
-
-
M. Coste, Localization, spectra and sheaf representation, in: Fourman et al. [12], pp. 212-238
-
-
-
-
12
-
-
0003451932
-
-
Fourman M., Mulvey C., and Scott D. (Eds), Springer-Verlag
-
In: Fourman M., Mulvey C., and Scott D. (Eds). Applications of Sheaves. Lecture Notes in Mathematics no. 753 (1979), Springer-Verlag
-
(1979)
Lecture Notes in Mathematics
, vol.753
-
-
-
16
-
-
33845872998
-
-
P. Higgins, Categories and Groupoids, Van Nostrand Reinhold, 1971; no. 7 in Reprints in Theory and Applications of Categories, Theory and Applications of Categories, Mount Allison University, 2005
-
-
-
-
17
-
-
27844599575
-
-
Oxford University Press
-
Johnstone P. Sketches of an Elephant: A Topos Theory Compendium, vol. 1. Oxford Logic Guides no. 44 (2002), Oxford University Press
-
(2002)
Oxford Logic Guides
, vol.44
-
-
Johnstone, P.1
-
18
-
-
27844599575
-
-
Oxford University Press
-
Johnstone P. Sketches of an Elephant: A Topos Theory Compendium, vol. 2. Oxford Logic Guides no. 44 (2002), Oxford University Press
-
(2002)
Oxford Logic Guides
, vol.44
-
-
Johnstone, P.1
-
19
-
-
0011572377
-
Abstract Horn theories
-
Model Theory and Topoi. Lawvere F., Maurer C., and Wraith G. (Eds), Springer-Verlag
-
Keane O. Abstract Horn theories. In: Lawvere F., Maurer C., and Wraith G. (Eds). Model Theory and Topoi. Lecture Notes in Mathematics no. 445 (1975), Springer-Verlag 15-50
-
(1975)
Lecture Notes in Mathematics
, vol.445
, pp. 15-50
-
-
Keane, O.1
-
25
-
-
0037089746
-
Type theories, toposes and constructive set theory: Predicative aspects of AST
-
Moerdijk I., and Palmgren E. Type theories, toposes and constructive set theory: Predicative aspects of AST. Annals of Pure and Applied Logic 114 (2002) 155-201
-
(2002)
Annals of Pure and Applied Logic
, vol.114
, pp. 155-201
-
-
Moerdijk, I.1
Palmgren, E.2
-
26
-
-
0042523541
-
Variations on algebra: Monadicity and generalizations of equational theories
-
Robinson E. Variations on algebra: Monadicity and generalizations of equational theories. Formal Aspects of Computing 13 (2002) 308-326
-
(2002)
Formal Aspects of Computing
, vol.13
, pp. 308-326
-
-
Robinson, E.1
-
27
-
-
33845899881
-
-
D. Scott, Identity and existence in intuitionistic logic, in: Fourman et al. [12], pp. 660-696
-
-
-
-
29
-
-
0141652910
-
Computable and continuous partial homomorphisms on metric partial algebras
-
Stoltenberg-Hansen V., and Tucker J. Computable and continuous partial homomorphisms on metric partial algebras. The Bulletin of Symbolic Logic 9 (2003) 299-334
-
(2003)
The Bulletin of Symbolic Logic
, vol.9
, pp. 299-334
-
-
Stoltenberg-Hansen, V.1
Tucker, J.2
-
31
-
-
33845875915
-
-
K. Viglas, Topos aspects of the extended Priestley duality, Ph.D. Thesis, Department of Computing, Imperial College, London, 2004
-
-
-
-
32
-
-
0002410894
-
Preservation theorems for limits of structures and global sections of sheaves of structures
-
Volger H. Preservation theorems for limits of structures and global sections of sheaves of structures. Mathematische Zeitschrift 166 (1979) 27-53
-
(1979)
Mathematische Zeitschrift
, vol.166
, pp. 27-53
-
-
Volger, H.1
|