MARC details
| 000 -LEADER |
|---|
| fixed length control field |
05315cam a2200769 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
ocn297492317 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20250703132709.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS |
|---|
| fixed length control field |
m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr unu|||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
090109s1980 gw a ob 100 0 eng d |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
SPLNM |
| Language of cataloging |
eng |
| Description conventions |
pn |
| Transcribing agency |
SPLNM |
| Modifying agency |
GW5XE |
| -- |
OCLCQ |
| -- |
OL$ |
| -- |
OCLCO |
| -- |
OCLCQ |
| -- |
GW5XE |
| -- |
OCLCE |
| -- |
OCLCF |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCQ |
| -- |
TXI |
| -- |
OCLCQ |
| -- |
ESU |
| -- |
CEF |
| -- |
DEHBZ |
| -- |
OCLCQ |
| -- |
U3W |
| -- |
LHU |
| -- |
UWO |
| -- |
YOU |
| -- |
MERER |
| -- |
OCLCQ |
| -- |
OCLCO |
| -- |
AAA |
| -- |
OCLCQ |
| -- |
OCL |
| -- |
OCLCO |
| -- |
OCLCL |
| -- |
OCLCQ |
| -- |
S9M |
| 019 ## - |
|---|
| -- |
625795633 |
| -- |
681114990 |
| -- |
1044348530 |
| -- |
1056394467 |
| -- |
1067204676 |
| -- |
1409009889 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783540383932 |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
354038393X |
| Qualifying information |
(electronic bk.) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9780387102696 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
0387102698 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
9783540102694 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| Canceled/invalid ISBN |
3540102698 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
AU@ |
| System control number |
000057634974 |
| 029 1# - (OCLC) |
|---|
| OCLC library identifier |
NZ1 |
| System control number |
15299077 |
| 035 ## - SYSTEM CONTROL NUMBER |
|---|
| System control number |
(OCoLC)297492317 |
| Canceled/invalid control number |
(OCoLC)625795633 |
| -- |
(OCoLC)681114990 |
| -- |
(OCoLC)1044348530 |
| -- |
(OCoLC)1056394467 |
| -- |
(OCoLC)1067204676 |
| -- |
(OCoLC)1409009889 |
| 041 0# - LANGUAGE CODE |
|---|
| Language code of text/sound track or separate title |
eng |
| -- |
fre |
| 042 ## - AUTHENTICATION CODE |
|---|
| Authentication code |
dlr |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA3 |
| Item number |
.L28 no. 834 |
| Classification number |
QA9.7 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
511.34 |
| Edition number |
22 |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
31.10 |
| Number source |
bcl |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
P 63 |
| Number source |
blsrissc |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
03Cxx |
| Number source |
msc |
| 084 ## - OTHER CLASSIFICATION NUMBER |
|---|
| Classification number |
19a |
| Number source |
sdnb |
| 049 ## - LOCAL HOLDINGS (OCLC) |
|---|
| Holding library |
MAIN |
| 111 2# - MAIN ENTRY--MEETING NAME |
|---|
| Meeting name or jurisdiction name as entry element |
Conference on Applications of Logic to Algebra and Arithmetic |
| Date of meeting |
(1979 : |
| Location of meeting |
Karpacz, Poland) |
| 9 (RLIN) |
76479 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Model theory of algebra and arithmetic : |
| Remainder of title |
proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 / |
| Statement of responsibility, etc. |
edited by L. Pacholski, J. Wierzejewski, and A.J. Wilkie. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc. |
Berlin ; |
| -- |
New York : |
| Name of publisher, distributor, etc. |
Springer-Verlag, |
| Date of publication, distribution, etc. |
1980. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (vi, 410 pages) : |
| Other physical details |
illustrations |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Lecture notes in mathematics, |
| International Standard Serial Number |
0075-8434 ; |
| Volume/sequential designation |
834 |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references. |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Further remarks on the elementary theory of formal power series rings -- Elimination of quantifiers for non semi-simple rings of characteristic p -- The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings -- Existentially closed modules: Types and prime models -- Rings of continuous functions: Decision problems -- Weak partition relations, finite games, and independence results in Peano arithmetic -- Hensel fields in equal characteristic p>0 -- On polynomials over real closed rings -- Les corps faiblement algebriquement clos non separablement clos ont la propriete d'independance -- Horn-theories of abelian groups -- Two orderings of the class of all countable models of peano arithmetic -- Ramsey quantifiers in arithmetic -- Computational complexity of decision problems in elementary number theory -- Some diophantine nullstellensätze -- A tree analysis of unprovable combinatorial statements -- A hierarchy of cuts in models of arithmetic -- Cofinal extension preserves recursive saturation -- Some model theory and number theory for models of weak systems of arithmetic -- Applications of complexity theory to?o-definability Problems in arithmetic -- Minimally saturated models -- Totally categorical theories: Structural properties and the non-finite axiomatizability. |
| 506 ## - RESTRICTIONS ON ACCESS NOTE |
|---|
| Materials specified |
Use copy |
| Standardized terminology for access restriction |
Restrictions unspecified |
| Source of term |
star |
| Institution to which field applies |
MiAaHDL |
| 533 ## - REPRODUCTION NOTE |
|---|
| Type of reproduction |
Electronic reproduction. |
| Place of reproduction |
[Place of publication not identified] : |
| Agency responsible for reproduction |
HathiTrust Digital Library, |
| Date of reproduction |
2010. |
| Institution to which field applies |
MiAaHDL |
| 538 ## - SYSTEM DETAILS NOTE |
|---|
| System details note |
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |
| Uniform Resource Identifier |
<a href="http://purl.oclc.org/DLF/benchrepro0212">http://purl.oclc.org/DLF/benchrepro0212</a> |
| Institution to which field applies |
MiAaHDL |
| 583 1# - ACTION NOTE |
|---|
| Action |
digitized |
| Time/date of action |
2010 |
| Jurisdiction |
HathiTrust Digital Library |
| Status |
committed to preserve |
| Source of term |
pda |
| Institution to which field applies |
MiAaHDL |
| 588 0# - SOURCE OF DESCRIPTION NOTE |
|---|
| Source of description note |
Print version record. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Model theory |
| Form subdivision |
Congresses. |
| 9 (RLIN) |
72478 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical. |
| 9 (RLIN) |
1341 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebraic logic. |
| 9 (RLIN) |
4868 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logique symbolique et mathématique. |
| 9 (RLIN) |
11864 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logique algébrique. |
| 9 (RLIN) |
19362 |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Théorie des modèles |
| Form subdivision |
Congrès. |
| 9 (RLIN) |
969446 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Teoría de modelos |
| Form subdivision |
Congresos y asambleas |
| Source of heading or term |
embne |
| 9 (RLIN) |
1082676 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Lógica matemática |
| Source of heading or term |
embne |
| 9 (RLIN) |
14821 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Lógica algebraica |
| Source of heading or term |
embne |
| 9 (RLIN) |
974126 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical |
| Source of heading or term |
fast |
| 9 (RLIN) |
1341 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Algebraic logic |
| Source of heading or term |
fast |
| 9 (RLIN) |
4868 |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Model theory |
| Source of heading or term |
fast |
| 9 (RLIN) |
70290 |
| 655 #7 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Conference papers and proceedings |
| Source of term |
fast |
| 9 (RLIN) |
6065 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Pacholski, Leszek. |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJqKb4JHcyrrjQpXCpk7HC |
| 9 (RLIN) |
21241 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Wierzejewski, J. |
| Fuller form of name |
(Jędrzej) |
| -- |
https://id.oclc.org/worldcat/entity/E39PCjFP9FVYpx8vmRTf68ftqP |
| 9 (RLIN) |
76480 |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Wilkie, A. J. |
| Fuller form of name |
(Alec J.) |
| -- |
https://id.oclc.org/worldcat/entity/E39PBJj8JG88f3MtGyRpQt9dQq |
| 9 (RLIN) |
76481 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Print version: |
| Main entry heading |
Conference on Applications of Logic to Algebra and Arithmetic (1979 : Karpacz, Poland). |
| Title |
Model theory of algebra and arithmetic. |
| Place, publisher, and date of publication |
Berlin ; New York : Springer-Verlag, 1980 |
| International Standard Book Number |
0387102698 |
| Record control number |
(DLC) 82131180 |
| -- |
(OCoLC)7073521 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Lecture notes in mathematics (Springer-Verlag) ; |
| Volume number/sequential designation |
834. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="https://link-springer-com.libraryproxy.ist.ac.at/10.1007/BFb0090155">https://link-springer-com.libraryproxy.ist.ac.at/10.1007/BFb0090155</a> |
| 994 ## - |
|---|
| -- |
92 |
| -- |
ATIST |