passa ai contenuti
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

Autore: G H Müller; Gaisi Takeuti; T Tugué
Editore: Berlin ; New York : Springer-Verlag, 1981.
Serie: Lecture notes in mathematics (Springer-Verlag), 891.
Edizione/Formato:   Libro : Conference publication : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia online

Collegamenti a questo documento

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Genere/forma: Kongress
Kongreß
Conference proceedings
Hakone (1979)
Hakone (1979-1980)
Hakone (1980)
Congresses
Congrès
Informazioni aggiuntive sul formato: Online version:
Logic Symposia (1979 : Hakone-machi, Japan).
Logic Symposia, Hakone, 1979, 1980.
Berlin ; New York : Springer-Verlag, 1981
(OCoLC)655022171
Tipo materiale: Conference publication, Risorsa internet
Tipo documento: Book, Internet Resource
Tutti gli autori / Collaboratori: G H Müller; Gaisi Takeuti; T Tugué
ISBN: 0387111611 9780387111612 3540111611 9783540111610
Numero OCLC: 7944723
Descrizione: xi, 394 pages ; 25 cm.
Contenuti: Various kinds of Aronszajn tree with no subtree of a different kind.- On set theories in toposes.- A representation for Spector second order classes in computation theories on two types.- Precipitousness of the ideal of thin sets on a measurable cardinal.- Axiom systems of nonstandard set theory.- Semi-formal finitist proof of the transfinite induction in an initial segment of Cantor's second number class.- On the length of proofs in a formal system of recursive arithmetic.- Homogeneous formulas and definability theorems.- Boolean valued combinatorics.- Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata.- Sections and envelopes of type 2 objects.- Heyting valued universes of intuitionistic set theory.- Independence of a problem in elementary analysis from set theory.- Intuitionistic theories and toposes.- The Hahn-Banach theorem and a restricted inductive definition.
Titolo della serie: Lecture notes in mathematics (Springer-Verlag), 891.
Responsabilità: edited by G.H. Müller, G. Takeuti, and T. Tugué.
Maggiori informazioni:

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


<http://www.worldcat.org/oclc/7944723>
library:oclcnum"7944723"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/7944723>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:creator
schema:datePublished"1981"
schema:exampleOfWork<http://worldcat.org/entity/work/id/866351617>
schema:genre"Kongreß"@en
schema:genre"Conference proceedings."@en
schema:genre"Conference proceedings"@en
schema:genre"Hakone (1979-1980)"@en
schema:genre"Hakone (1979)"@en
schema:genre"Hakone (1980)"@en
schema:genre"Kongress."@en
schema:inLanguage"en"
schema:name"Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980"@en
schema:publisher
schema:url
schema:workExample
schema:workExample
umbel:isLike<http://d-nb.info/820522058>

Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.