Cargando…
Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /
Provability, Computability and Reflection.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés Francés |
| Publicado: |
Amsterdam :
North-Holland,
1979.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 97. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- Continuity in intuitionistic set theories / Michael Beeson
- Stabel algebraic theories / Gregory Cherlin
- Un r�esultat de non contradiction relative au sujet de la conjecture de SOLOVAY / Ren�e David
- Remarks on constructive mathematical analysis / O. Demuth, A. Ku�cera
- Diophantine problem for polynomial rings of positive characteristic / J. Denef
- Algorithms and bounds for poloynomial rings
- Constructive theories of function and classes / Solomon Feferman
- On partially conservative extensions of arithmetic / Petr H�ajek
- Weakly separated subspaces and networks / A. Hajnal, I. Juh�asz
- Equivalence relations, projective and beyond / L. Harrington, R. Sami
- Projections of lawless sequences II / G.F. van der Hoeven, A.S. Troelstra
- Linear orders in (w)w under eventual dominance / Richard Laver
- Hypermeasurable cardinals / William Mitchell
- On the number of expansions of the models of ZFC-set theory to models of KM-theory of classes
- A fine structure generated by reflection formulas over primitive recursive arithmetic / Ulf. R. Schmerl
- Logic and the axiom of choice / H. Schwichtenberg
- On successors of singular cardinals / Saharon Shelah
- Paul Bernays / E. Speaker
- Abstract logic and set theory, I, definability / Jouko V�a�an�anen
- Lattice products / Volker Weispfenning
- Some o-fields of subsets of reals / Bogdan Weglorz.