Holdings: Logic Colloquium '95

Logic Colloquium '95: proceedings of the annual European summer meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9 - 18, 1995

Saved in:

Bibliographic Details
Other Authors:	Makowsky, Johann A. 1948- (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin [u.a.] Springer 1998
Series:	Lecture Notes in Logic 11
Subjects:	Logik Mathematische Logik Konferenzschrift > 1995 > Haifa
Online Access:	Inhaltsverzeichnis
Physical Description:	XVI, 348 Seiten
ISBN:	3540639942

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV011698155
003	DE-604
005	20200427
007	t
008	971216s1998 gw \|\|\|\| 10\|\|\| eng d
016	7		\|a 952395517 \|2 DE-101
020			\|a 3540639942 \|c : ca. DM 128.00 \|9 3-540-63994-2
035			\|a (OCoLC)845032915
035			\|a (DE-599)BVBBV011698155
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-91G \|a DE-739 \|a DE-824 \|a DE-19 \|a DE-83 \|a DE-11 \|a DE-188
082	0		\|a 511.3
084			\|a SD 1995 \|0 (DE-625)142729: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a DAT 540f \|2 stub
245	1	0	\|a Logic Colloquium '95 \|b proceedings of the annual European summer meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9 - 18, 1995 \|c Johann A. Makowsky ... (editors)
264		1	\|a Berlin [u.a.] \|b Springer \|c 1998
300			\|a XVI, 348 Seiten
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture Notes in Logic \|v 11
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 1995 \|z Haifa \|2 gnd-content
689	0	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|5 DE-604
689	1	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	1		\|8 1\p \|5 DE-604
700	1		\|a Makowsky, Johann A. \|d 1948- \|0 (DE-588)118024507 \|4 edt
710	2		\|a Association for Symbolic Logic \|e Sonstige \|0 (DE-588)1000449-X \|4 oth
711	2		\|a Logic Colloquium \|d 1995 \|c Ḥêfā \|j Sonstige \|0 (DE-588)5262823-1 \|4 oth
830		0	\|a Lecture Notes in Logic \|v 11 \|w (DE-604)BV008909514 \|9 11
856	4	2	\|m Digitalisierung TU Muenchen \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007889123&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-007889123
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Record in the Search Index

_version_	1804126236824305664
adam_text	Table of Contents The Number of Path-Components of a Compact Subset of MK H. Becker ..................................................................1 Intervals without Critical Triples P. Cholak, R. Downey and R. Shore .......................................17 Beyond Gödel s Theorem: Turing Nonrigidity Revisited S. B. Cooper .............................................................44 Types and Indescernibles in Finite Models A. Dawar ................................................................51 Model Theory of Modules I. Herzog.................................................................66 Noninterpretability of Infinite Linear Orders W. Hodges and A. Nies ...................................................73 Combinatorial Principles from Adding Cohen Reals I. Juhász, L. Soukup and Z. Szentmiklóssy ................................79 Extensions of models of PV J. Krajíček ..............................................................104 Convergence Laws for Random Graphs J. F. Lynch .............................................................115 V=L and Maximize P. Maddy ...............................................................134 Towards a Categorical Foundation of Mathematics M. Makkai ..............................................................153 Strongly Minimal Sets and Geometry D. Marker ..............................................................191 Computationally-Sound Proofs S. Micali ................................................................214 Lambek Calculus and Formal Languages M. Pentus ..............................................................269 XVI Zil ber s Trichotomy and o-minimal Structures Y. Peterzil ..............................................................273 The Higher Infinite in Proof Theory M. Rathjen ..............................................................275 There May Be No Nowhere Dense Ultrafilter 5. Shelah ................................................................305 Towards Recursive Model Theory A. P. Stolboushkin ......................................................325 Accessible Segments of the Fast Growing Hierarchy S. S. Wainer .............................................................339
any_adam_object	1
author2	Makowsky, Johann A. 1948-
author2_role	edt
author2_variant	j a m ja jam
author_GND	(DE-588)118024507
author_facet	Makowsky, Johann A. 1948-
building	Verbundindex
bvnumber	BV011698155
classification_rvk	SD 1995 SK 130
classification_tum	DAT 540f
ctrlnum	(OCoLC)845032915 (DE-599)BVBBV011698155
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Informatik Mathematik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02086nam a2200481 cb4500</leader><controlfield tag="001">BV011698155</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200427 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">971216s1998 gw \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">952395517</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540639942</subfield><subfield code="c">: ca. DM 128.00</subfield><subfield code="9">3-540-63994-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845032915</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011698155</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1995</subfield><subfield code="0">(DE-625)142729:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Colloquium '95</subfield><subfield code="b">proceedings of the annual European summer meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9 - 18, 1995</subfield><subfield code="c">Johann A. Makowsky ... (editors)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 348 Seiten</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Logic</subfield><subfield code="v">11</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">Haifa</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Makowsky, Johann A.</subfield><subfield code="d">1948-</subfield><subfield code="0">(DE-588)118024507</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association for Symbolic Logic</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1000449-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Logic Colloquium</subfield><subfield code="d">1995</subfield><subfield code="c">Ḥêfā</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5262823-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Logic</subfield><subfield code="v">11</subfield><subfield code="w">(DE-604)BV008909514</subfield><subfield code="9">11</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007889123&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007889123</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 1995 Haifa gnd-content
genre_facet	Konferenzschrift 1995 Haifa
id	DE-604.BV011698155
illustrated	Not Illustrated
indexdate	2024-07-09T18:14:15Z
institution	BVB
institution_GND	(DE-588)1000449-X (DE-588)5262823-1
isbn	3540639942
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-007889123
oclc_num	845032915
open_access_boolean
owner	DE-91G DE-BY-TUM DE-739 DE-824 DE-19 DE-BY-UBM DE-83 DE-11 DE-188
owner_facet	DE-91G DE-BY-TUM DE-739 DE-824 DE-19 DE-BY-UBM DE-83 DE-11 DE-188
physical	XVI, 348 Seiten
publishDate	1998
publishDateSearch	1998
publishDateSort	1998
publisher	Springer
record_format	marc
series	Lecture Notes in Logic
series2	Lecture Notes in Logic
spelling	Logic Colloquium '95 proceedings of the annual European summer meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9 - 18, 1995 Johann A. Makowsky ... (editors) Berlin [u.a.] Springer 1998 XVI, 348 Seiten txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Logic 11 Logik (DE-588)4036202-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Haifa gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Logik (DE-588)4036202-4 s 1\p DE-604 Makowsky, Johann A. 1948- (DE-588)118024507 edt Association for Symbolic Logic Sonstige (DE-588)1000449-X oth Logic Colloquium 1995 Ḥêfā Sonstige (DE-588)5262823-1 oth Lecture Notes in Logic 11 (DE-604)BV008909514 11 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007889123&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Logic Colloquium '95 proceedings of the annual European summer meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9 - 18, 1995 Lecture Notes in Logic Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)4036202-4 (DE-588)4037951-6 (DE-588)1071861417
title	Logic Colloquium '95 proceedings of the annual European summer meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9 - 18, 1995
title_auth	Logic Colloquium '95 proceedings of the annual European summer meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9 - 18, 1995
title_exact_search	Logic Colloquium '95 proceedings of the annual European summer meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9 - 18, 1995
title_full	Logic Colloquium '95 proceedings of the annual European summer meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9 - 18, 1995 Johann A. Makowsky ... (editors)
title_fullStr	Logic Colloquium '95 proceedings of the annual European summer meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9 - 18, 1995 Johann A. Makowsky ... (editors)
title_full_unstemmed	Logic Colloquium '95 proceedings of the annual European summer meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9 - 18, 1995 Johann A. Makowsky ... (editors)
title_short	Logic Colloquium '95
title_sort	logic colloquium 95 proceedings of the annual european summer meeting of the association of symbolic logic held in haifa israel august 9 18 1995
title_sub	proceedings of the annual European summer meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9 - 18, 1995
topic	Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	Logik Mathematische Logik Konferenzschrift 1995 Haifa
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007889123&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV008909514
work_keys_str_mv	AT makowskyjohanna logiccolloquium95proceedingsoftheannualeuropeansummermeetingoftheassociationofsymboliclogicheldinhaifaisraelaugust9181995 AT associationforsymboliclogic logiccolloquium95proceedingsoftheannualeuropeansummermeetingoftheassociationofsymboliclogicheldinhaifaisraelaugust9181995 AT logiccolloquiumhefa logiccolloquium95proceedingsoftheannualeuropeansummermeetingoftheassociationofsymboliclogicheldinhaifaisraelaugust9181995

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items