Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Model theory and topoi / / edited by F. W. Lawvere, C. Maurer, G. C. Wraith
| Model theory and topoi / / edited by F. W. Lawvere, C. Maurer, G. C. Wraith |
| Edizione | [1st ed. 1975.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer-Verlag, , [1975] |
| Descrizione fisica | 1 online resource (VI, 358 p.) |
| Disciplina | 511.34 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico | Model theory |
| ISBN | 3-540-37495-7 |
| Classificazione | 18-06 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | to Part I -- Abstract Horn theories -- Completeness theorem for logical categories -- Logical categories, semantical categories and topoi -- Internal categories and classification theorems -- Lectures on elementary topoi -- Some topos theoretic concepts of finiteness -- Universes in topoi -- Logical and set theoretical tools in elementary topoi -- A note on Kripke-Joyal semantics for the internal language of topoi. |
| Record Nr. | UNISA-996466862703316 |
| Berlin ; ; Heidelberg : , : Springer-Verlag, , [1975] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Toposes, algebraic geometry and logic : Dalhousie University, Halifax, Nova Scotia, January 16-19, 1971 / / I. Bucur [and seven others] ; edited by F. W. Lawvere
| Toposes, algebraic geometry and logic : Dalhousie University, Halifax, Nova Scotia, January 16-19, 1971 / / I. Bucur [and seven others] ; edited by F. W. Lawvere |
| Autore | Bucur Ionel <1930-1976, > |
| Edizione | [1st ed. 1972.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , 1972 |
| Descrizione fisica | 1 online resource (VIII, 193 p.) |
| Disciplina | 512.55 |
| Collana | Lecture notes in mathematics |
| Soggetto topico |
Categories (Mathematics)
Geometry, Algebraic Logic, Symbolic and mathematical |
| ISBN | 3-540-37609-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Sheaf theory and the continuum hypothesis -- Classifying topos -- Deductive systems and categories III. Cartesian closed categories, intuitionist propositional calculus, and combinatory logic -- The formalization of Bishop's constructive mathematics -- Continuous lattices -- Some applications of the formalism of duality in algebraic geometry -- Cotangent complex and deformations of torsors and group schemes. |
| Record Nr. | UNISA-996466518103316 |
Bucur Ionel <1930-1976, >
|
||
| Berlin ; ; Heidelberg ; ; New York : , : Springer-Verlag, , 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||