přejít na obsah
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 Náhled dokumentu
ZavřítNáhled dokumentu
Probíhá kontrola...

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é
Vydavatel: Berlin ; New York : Springer-Verlag, 1981.
Edice: Lecture notes in mathematics (Springer-Verlag), 891.
Vydání/formát:   Kniha : Conference publication : EnglishZobrazit všechny vydání a formáty
Databáze:WorldCat
Hodnocení:

(ještě nehodnoceno) 0 zobrazit recenze - Buďte první.

Předmětová hesla:
Více podobných

 

Najít online exemplář

Vyhledat exemplář v knihovně

&AllPage.SpinnerRetrieving; Vyhledávání knihoven, které vlastní tento dokument...

Detaily

Žánr/forma: Kongress
Kongreß
Conference proceedings
Hakone (1979)
Hakone (1979-1980)
Hakone (1980)
Congresses
Congrès
Doplňující formát: Online version:
Logic Symposia (1979 : Hakone-machi, Japan).
Logic Symposia, Hakone, 1979, 1980.
Berlin ; New York : Springer-Verlag, 1981
(OCoLC)655022171
Typ materiálu: Conference publication, Internetový zdroj
Typ dokumentu: Book, Internet Resource
Všichni autoři/tvůrci: G H Müller; Gaisi Takeuti; T Tugué
ISBN: 0387111611 9780387111612 3540111611 9783540111610
OCLC číslo: 7944723
Popis: xi, 394 pages ; 25 cm.
Obsahy: 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.
Název edice: Lecture notes in mathematics (Springer-Verlag), 891.
Odpovědnost: edited by G.H. Müller, G. Takeuti, and T. Tugué.
Více informací:

Recenze

Recenze vložené uživatelem
Nahrávání recenzí GoodReads...
Přebírání recenzí DOGO books...

Štítky

Buďte první.
Potvrdit tento požadavek

Tento dokument jste si již vyžádali. Prosím vyberte Ok pokud chcete přesto v žádance pokračovat.

Propojená data


<http://www.worldcat.org/oclc/7944723>
library:oclcnum"7944723"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:typeschema:MediaObject
rdf:valueUnknown value: cnp
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"Kongress"@en
schema:genre"Kongreß"@en
schema:genre"Hakone (1979-1980)"@en
schema:genre"Conference proceedings"@en
schema:genre"Hakone (1979)"@en
schema:genre"Hakone (1980)"@en
schema:inLanguage"en"
schema:isPartOf
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:publication
schema:publisher
schema:workExample
schema:workExample
umbel:isLike<http://d-nb.info/820522058>
wdrs:describedby

Content-negotiable representations

Zavřít okno

Prosím přihlaste se do WorldCat 

Nemáte účet? Můžete si jednoduše vytvořit bezplatný účet.