pular para conteúdo
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 Ver prévia deste item
FecharVer prévia deste item
Checando...

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

Autor: G H Müller; Gaisi Takeuti; T Tugué
Editora: Berlin ; New York : Springer-Verlag, 1981.
Séries: Lecture notes in mathematics (Springer-Verlag), 891.
Edição/Formato   Livro : Publicação de conferência : InglêsVer todas as edições e formatos
Base de Dados:WorldCat
Classificação:

(ainda não classificado) 0 com críticas - Seja o primeiro.

Assuntos
Mais como este

 

Encontrar uma cópia on-line

Links para este item

Encontrar uma cópia na biblioteca

&AllPage.SpinnerRetrieving; Encontrando bibliotecas que possuem este item...

Detalhes

Gênero/Forma: Hakone (1979)
Hakone (1979-1980)
Hakone (1980)
Kongress
Kongreß
Conference proceedings
Congrès
Formato Físico Adicional: Online version:
Logic Symposia (1979 : Hakone-machi, Japan)
Logic Symposia, Hakone, 1979, 1980.
Berlin ; New York : Springer-Verlag, 1981
(OCoLC)655022171
Tipo de Material: Publicação de conferência, Recurso Internet
Tipo de Documento: Livro, Recurso Internet
Todos os Autores / Contribuintes: G H Müller; Gaisi Takeuti; T Tugué
ISBN: 0387111611 9780387111612 3540111611 9783540111610
Número OCLC: 7944723
Descrição: xi, 394 p. ; 25 cm.
Conteúdos: 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.
Título da Série: Lecture notes in mathematics (Springer-Verlag), 891.
Responsabilidade: edited by G.H. Müller, G. Takeuti, and T. Tugué.
Mais informações:

Críticas

Críticas contribuídas por usuários
Recuperando críticas GoodReas...
Recuperando comentários DOGObooks

Etiquetas

Seja o primeiro.
Confirmar esta solicitação

Você já pode ter solicitado este item. Por favor, selecione Ok se gostaria de proceder com esta solicitação de qualquer forma.

Dados Ligados


<http://www.worldcat.org/oclc/7944723>
library:oclcnum"7944723"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/7944723>
rdf:typeschema:Book
rdfs:seeAlso
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
rdf:typeschema:Intangible
schema:name"Logique symbolique et mathématique"
schema:about
schema:author
rdf:typeschema:Organization
schema:name"Logic Symposia (1979 : Hakone-machi, Japan)"
schema:contributor
rdf:typeschema:Organization
schema:name"Logic Symposia (1980 : Hakone-machi, Japan)"
schema:contributor
schema:contributor
schema:contributor
schema:datePublished"1981"
schema:exampleOfWork<http://worldcat.org/entity/work/id/866351617>
schema:genre"Conference proceedings."
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"
schema:numberOfPages"394"
schema:publisher
schema:workExample
schema:workExample
schema:workExample
schema:workExample

Content-negotiable representations

Close Window

Por favor, conecte-se ao WorldCat 

Não tem uma conta? Você pode facilmente criar uma conta gratuita.