컨텐츠로 이동
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 해당 항목을 미리보기
닫기해당 항목을 미리보기
확인중입니다…

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

저자: G H Müller; Gaisi Takeuti; T Tugué
출판사: Berlin ; New York : Springer-Verlag, 1981.
시리즈: Lecture notes in mathematics (Springer-Verlag), 891.
판/형식:   Print book : 컨퍼런스 간행물 : 영어모든 판과 형식 보기
데이터베이스:WorldCat
평가:

(아무런 평가가 없습니다.) 0 리뷰와 함께 - 첫번째로 올려주세요.

주제
다음과 같습니다:

 

온라인으로 문서 찾기

도서관에서 사본 찾기

&AllPage.SpinnerRetrieving; 해당항목을 보유하고 있는 도서관을 찾는 중

상세정보

장르/형태: Kongress
Kongreß
Conference proceedings
Hakone (1979)
Hakone (1979-1980)
Hakone (1980)
Congresses
Congrès
추가적인 물리적 형식: Online version:
Logic Symposia (1979 : Hakone-machi, Japan).
Logic Symposia, Hakone, 1979, 1980.
Berlin ; New York : Springer-Verlag, 1981
(OCoLC)655022171
자료 유형: 컨퍼런스 간행물, 인터넷 자료
문서 형식: 책, 인터넷 자원
모든 저자 / 참여자: G H Müller; Gaisi Takeuti; T Tugué
ISBN: 0387111611 9780387111612 3540111611 9783540111610
OCLC 번호: 7944723
설명: xi, 394 pages ; 25 cm.
내용: 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.
일련 제목: Lecture notes in mathematics (Springer-Verlag), 891.
책임: edited by G.H. Müller, G. Takeuti, and T. Tugué.
더 많은 정보:

리뷰

사용자-기여 리뷰
GoodReads 리뷰 가져오는 중…
DOGObooks 리뷰를 가지고 오는 중…

태그

첫번째 되기
요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 Ok을 선택하세요.

링크된 데이터


<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

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.