A disjunctive decomposition theorem for classical theories

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Moschovakis, Joan Rand
Format:	Buchkapitel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	259
container_issue
container_start_page	250
container_title
container_volume
creator	Moschovakis, Joan Rand
description
doi_str_mv	10.1007/BFb0090738
format	Book Chapter
fullrecord	<record><control><sourceid>springer</sourceid><recordid>TN_cdi_springer_books_10_1007_BFb0090738</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>springer_books_10_1007_BFb0090738</sourcerecordid><originalsourceid>FETCH-springer_books_10_1007_BFb00907383</originalsourceid><addsrcrecordid>eNqVjsFuwjAQRLdQJELLhS_wkUvKGtuxzQ0QqB_APQqJ0xpCjLKB7wcEgjOnkWbeSA9gxPGHI-rJYr1FtKiF-YCh1UYoicJoZZMORDzhOraJnXafG0ejUH5CdD2r2Egh-zAg2iFOlZQYwWzOCk-7U523_uxY4fJwOAbyrQ81a_9daNyBlaFheZUR-Tyr7q139A29MqvIDR_5BeP1arP8jenY-PrPNek2hD2lHNObe_pyF2-gF2S-Q9Q</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype></control><display><type>book_chapter</type><title>A disjunctive decomposition theorem for classical theories</title><source>Springer Books</source><creator>Moschovakis, Joan Rand</creator><contributor>Richman, Fred</contributor><creatorcontrib>Moschovakis, Joan Rand ; Richman, Fred</creatorcontrib><identifier>ISSN: 0075-8434</identifier><identifier>ISBN: 9783540108504</identifier><identifier>ISBN: 3540108505</identifier><identifier>EISSN: 1617-9692</identifier><identifier>EISBN: 9783540387596</identifier><identifier>EISBN: 3540387595</identifier><identifier>DOI: 10.1007/BFb0090738</identifier><language>eng</language><publisher>Berlin, Heidelberg: Springer Berlin Heidelberg</publisher><ispartof>Constructive Mathematics, 2006, p.250-259</ispartof><rights>Springer-Verlag 1981</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Mathematics</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/BFb0090738$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/BFb0090738$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>775,776,780,789,27902,38232,41418,42487</link.rule.ids></links><search><contributor>Richman, Fred</contributor><creatorcontrib>Moschovakis, Joan Rand</creatorcontrib><title>A disjunctive decomposition theorem for classical theories</title><title>Constructive Mathematics</title><issn>0075-8434</issn><issn>1617-9692</issn><isbn>9783540108504</isbn><isbn>3540108505</isbn><isbn>9783540387596</isbn><isbn>3540387595</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>2006</creationdate><recordtype>book_chapter</recordtype><sourceid/><recordid>eNqVjsFuwjAQRLdQJELLhS_wkUvKGtuxzQ0QqB_APQqJ0xpCjLKB7wcEgjOnkWbeSA9gxPGHI-rJYr1FtKiF-YCh1UYoicJoZZMORDzhOraJnXafG0ejUH5CdD2r2Egh-zAg2iFOlZQYwWzOCk-7U523_uxY4fJwOAbyrQ81a_9daNyBlaFheZUR-Tyr7q139A29MqvIDR_5BeP1arP8jenY-PrPNek2hD2lHNObe_pyF2-gF2S-Q9Q</recordid><startdate>20061005</startdate><enddate>20061005</enddate><creator>Moschovakis, Joan Rand</creator><general>Springer Berlin Heidelberg</general><scope/></search><sort><creationdate>20061005</creationdate><title>A disjunctive decomposition theorem for classical theories</title><author>Moschovakis, Joan Rand</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-springer_books_10_1007_BFb00907383</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>2006</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Moschovakis, Joan Rand</creatorcontrib></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Moschovakis, Joan Rand</au><au>Richman, Fred</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>A disjunctive decomposition theorem for classical theories</atitle><btitle>Constructive Mathematics</btitle><seriestitle>Lecture Notes in Mathematics</seriestitle><date>2006-10-05</date><risdate>2006</risdate><spage>250</spage><epage>259</epage><pages>250-259</pages><issn>0075-8434</issn><eissn>1617-9692</eissn><isbn>9783540108504</isbn><isbn>3540108505</isbn><eisbn>9783540387596</eisbn><eisbn>3540387595</eisbn><cop>Berlin, Heidelberg</cop><pub>Springer Berlin Heidelberg</pub><doi>10.1007/BFb0090738</doi></addata></record>
fulltext	fulltext
identifier	ISSN: 0075-8434
ispartof	Constructive Mathematics, 2006, p.250-259
issn	0075-8434 1617-9692
language	eng
recordid	cdi_springer_books_10_1007_BFb0090738
source	Springer Books
title	A disjunctive decomposition theorem for classical theories
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-07T15%3A08%3A50IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-springer&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=A%20disjunctive%20decomposition%20theorem%20for%20classical%20theories&rft.btitle=Constructive%20Mathematics&rft.au=Moschovakis,%20Joan%20Rand&rft.date=2006-10-05&rft.spage=250&rft.epage=259&rft.pages=250-259&rft.issn=0075-8434&rft.eissn=1617-9692&rft.isbn=9783540108504&rft.isbn_list=3540108505&rft_id=info:doi/10.1007/BFb0090738&rft_dat=%3Cspringer%3Espringer_books_10_1007_BFb0090738%3C/springer%3E%3Curl%3E%3C/url%3E&rft.eisbn=9783540387596&rft.eisbn_list=3540387595&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true