𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Provability in Elementary Type Theory

✍ Scribed by Peter B. Andrews

Publisher
John Wiley and Sons
Year
1974
Tongue
English
Weight
485 KB
Volume
20
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Some Galois Connections in Elementary Nu
Some Galois Connections in Elementary Number Theory
✍ J. Lambek πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 225 KB

We study some Galois connections between partially ordered sets of interest in arithmetic: the natural numbers and the integers ordered by magnitude or by divisibility. 1994 Academic Press, Inc

Prototype Proofs in Type Theory
Prototype Proofs in Type Theory
✍ Giuseppe Longo πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 207 KB
A topology for galois types in abstract
A topology for galois types in abstract elementary classes
✍ Michael Lieberman πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 158 KB

We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We exhibit a number of natural correspondences between the mod