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; G Takeuti; T Tugué; Symposium on the Foundations of Mathematics:
Editora: Berlin : Springer, 1981.
Séries: Lecture notes in mathematics, 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

Encontrar uma cópia na biblioteca

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

Detalhes

Gênero/Forma: Kongress
Tipo de Material: Publicação de conferência, Recurso Internet
Tipo de Documento: Livro, Recurso Internet
Todos os Autores / Contribuintes: G H Müller; G Takeuti; T Tugué; Symposium on the Foundations of Mathematics:
ISBN: 3540111611 9783540111610 0387111611 9780387111612
Número OCLC: 465469968
Descrição: xi, 394 s.
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, 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.

Ítens Similares

Assuntos Relacionados:(1)

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/465469968>
library:oclcnum"465469968"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/465469968>
rdf:typeschema:Book
rdfs:seeAlso
schema:about
schema:contributor
rdf:typeschema:Organization
schema:name"Symposium on the Foundations of Mathematics: Hakone) : 1979."
schema:contributor
schema:contributor
schema:contributor
rdf:typeschema:Organization
schema:name"Symposium on the Foundations of Mathematics: Hakone) : 1980."
schema:contributor
schema:datePublished"1981"
schema:exampleOfWork<http://worldcat.org/entity/work/id/866351617>
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:publisher
schema:workExample
schema:workExample
schema:workExample
schema:workExample
umbel:isLike<http://d-nb.info/820522058>

Content-negotiable representations

Close Window

Por favor, conecte-se ao WorldCat 

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