Logic Symposia Hakone 1979, 1980 [electronic resource] : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 /
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.
Main Authors: | , , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,
1981
|
Subjects: | Mathematics., Logic., Mathematical logic., Mathematical Logic and Foundations., |
Online Access: | http://dx.doi.org/10.1007/BFb0090974 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:195571 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:1955712018-07-30T23:21:19ZLogic Symposia Hakone 1979, 1980 [electronic resource] : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / Müller, Gert H. editor. Takeuti, Gaisi. editor. Tugué, Tosiyuki. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,1981.engVarious 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.Mathematics.Logic.Mathematical logic.Mathematics.Mathematical Logic and Foundations.Logic.Springer eBookshttp://dx.doi.org/10.1007/BFb0090974URN:ISBN:9783540386339 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Mathematics. Logic. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Logic. Mathematics. Logic. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Logic. |
spellingShingle |
Mathematics. Logic. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Logic. Mathematics. Logic. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Logic. Müller, Gert H. editor. Takeuti, Gaisi. editor. Tugué, Tosiyuki. editor. SpringerLink (Online service) Logic Symposia Hakone 1979, 1980 [electronic resource] : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / |
description |
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. |
format |
Texto |
topic_facet |
Mathematics. Logic. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Logic. |
author |
Müller, Gert H. editor. Takeuti, Gaisi. editor. Tugué, Tosiyuki. editor. SpringerLink (Online service) |
author_facet |
Müller, Gert H. editor. Takeuti, Gaisi. editor. Tugué, Tosiyuki. editor. SpringerLink (Online service) |
author_sort |
Müller, Gert H. editor. |
title |
Logic Symposia Hakone 1979, 1980 [electronic resource] : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / |
title_short |
Logic Symposia Hakone 1979, 1980 [electronic resource] : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / |
title_full |
Logic Symposia Hakone 1979, 1980 [electronic resource] : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / |
title_fullStr |
Logic Symposia Hakone 1979, 1980 [electronic resource] : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / |
title_full_unstemmed |
Logic Symposia Hakone 1979, 1980 [electronic resource] : Proceedings of Conferences Held in Hakone, Japan March 21–24, 1979 and February 4–7, 1980 / |
title_sort |
logic symposia hakone 1979, 1980 [electronic resource] : proceedings of conferences held in hakone, japan march 21–24, 1979 and february 4–7, 1980 / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, |
publishDate |
1981 |
url |
http://dx.doi.org/10.1007/BFb0090974 |
work_keys_str_mv |
AT mullergertheditor logicsymposiahakone19791980electronicresourceproceedingsofconferencesheldinhakonejapanmarch21241979andfebruary471980 AT takeutigaisieditor logicsymposiahakone19791980electronicresourceproceedingsofconferencesheldinhakonejapanmarch21241979andfebruary471980 AT tuguetosiyukieditor logicsymposiahakone19791980electronicresourceproceedingsofconferencesheldinhakonejapanmarch21241979andfebruary471980 AT springerlinkonlineservice logicsymposiahakone19791980electronicresourceproceedingsofconferencesheldinhakonejapanmarch21241979andfebruary471980 |
_version_ |
1756266760927969280 |