skip to content
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 Preview this item
ClosePreview this item
Checking...

Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980

Author: Fred Richman
Publisher: Berlin ; New York : Springer-Verlag, 1981.
Series: Lecture notes in mathematics (Springer-Verlag), 873.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Kongreß
Congresses
Additional Physical Format: Online version:
Constructive mathematics.
Berlin ; New York : Springer-Verlag, 1981
(OCoLC)651701463
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Fred Richman
ISBN: 0387108505 9780387108506 3540108505 9783540108504
OCLC Number: 7671997
Description: vi, 347 pages ; 25 cm.
Contents: Seidenberg's condition P.- Field extensions.- Dedekind domains.- Effective mathematics - the computer algebra viewpoint.- On some open problems in constructive probability theory.- Consistency and independence results in intuitionistic set theory.- Errata.- Computability of ordinal recursion of type level two.- A constructive approach to classical mathematics.- Remarks on the notion of standard non-isomorphic natural number series.- Reflections on Bishop's philosophy of mathematics.- Formalizing constructive mathematics: Why and how?.- Independence of premisses and the free topos.- An intuitionistic infinitesimal calculus.- Liberal constructive set theory.- Locating metric complements in ?n.- A disjunctive decomposition theorem for classical theories.- Towards a constructive foundation for quantum mechanics.- About infinity, finiteness and finitization (in connection with the foundations of mathematics).- A class of theorems with valid constructive counterparts.- Rational constructive analysis.
Series Title: Lecture notes in mathematics (Springer-Verlag), 873.
Responsibility: edited by F. Richman.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/7671997> # Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "7671997" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/862941987#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematiques_intuitionnistes> ; # Mathématiques intuitionnistes
   schema:about <http://experiment.worldcat.org/entity/work/data/862941987#Topic/konstruktive_mathematik> ; # Konstruktive Mathematik
   schema:about <http://experiment.worldcat.org/entity/work/data/862941987#Topic/wiskundige_logica> ; # Wiskundige logica
   schema:about <http://id.loc.gov/authorities/subjects/sh85031452> ; # Constructive mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematiques_constructives> ; # Mathématiques constructives
   schema:about <http://id.loc.gov/authorities/subjects/sh85067656> ; # Intuitionistic mathematics
   schema:about <http://id.worldcat.org/fast/977860> ; # Intuitionistic mathematics
   schema:about <http://dewey.info/class/510/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/862941987#Topic/kongress> ; # Kongress
   schema:about <http://id.worldcat.org/fast/876172> ; # Constructive mathematics
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/110141376> ; # Fred Richman
   schema:datePublished "1981" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/862941987> ;
   schema:genre "Kongreß"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/862941987#Series/lecture_notes_in_mathematics_springer_verlag> ; # Lecture notes in mathematics (Springer-Verlag) ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/862941987#Series/lecture_notes_in_mathematics> ; # Lecture notes in mathematics ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/651701463> ;
   schema:name "Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980"@en ;
   schema:productID "7671997" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/7671997#PublicationEvent/berlin_new_york_springer_verlag_1981> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/862941987#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://www.gbv.de/dms/hbz/toc/ht001053021.pdf> ;
   schema:workExample <http://worldcat.org/isbn/9783540108504> ;
   schema:workExample <http://worldcat.org/isbn/9780387108506> ;
   umbel:isLike <http://d-nb.info/810678152> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/7671997> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/862941987#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/862941987#Series/lecture_notes_in_mathematics> # Lecture notes in mathematics ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/7671997> ; # Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
   schema:name "Lecture notes in mathematics ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/862941987#Series/lecture_notes_in_mathematics_springer_verlag> # Lecture notes in mathematics (Springer-Verlag) ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/7671997> ; # Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
   schema:name "Lecture notes in mathematics (Springer-Verlag) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/862941987#Topic/konstruktive_mathematik> # Konstruktive Mathematik
    a schema:Intangible ;
   schema:name "Konstruktive Mathematik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematiques_constructives> # Mathématiques constructives
    a schema:Intangible ;
   schema:name "Mathématiques constructives"@en ;
   schema:name "Mathématiques constructives"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/862941987#Topic/mathematiques_intuitionnistes> # Mathématiques intuitionnistes
    a schema:Intangible ;
   schema:name "Mathématiques intuitionnistes"@en ;
   schema:name "Mathématiques intuitionnistes"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85031452> # Constructive mathematics
    a schema:Intangible ;
   schema:name "Constructive mathematics"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85067656> # Intuitionistic mathematics
    a schema:Intangible ;
   schema:name "Intuitionistic mathematics"@en ;
    .

<http://id.worldcat.org/fast/876172> # Constructive mathematics
    a schema:Intangible ;
   schema:name "Constructive mathematics"@en ;
    .

<http://id.worldcat.org/fast/977860> # Intuitionistic mathematics
    a schema:Intangible ;
   schema:name "Intuitionistic mathematics"@en ;
    .

<http://viaf.org/viaf/110141376> # Fred Richman
    a schema:Person ;
   schema:birthDate "1938" ;
   schema:familyName "Richman" ;
   schema:givenName "Fred" ;
   schema:name "Fred Richman" ;
    .

<http://worldcat.org/isbn/9780387108506>
    a schema:ProductModel ;
   schema:isbn "0387108505" ;
   schema:isbn "9780387108506" ;
    .

<http://worldcat.org/isbn/9783540108504>
    a schema:ProductModel ;
   schema:isbn "3540108505" ;
   schema:isbn "9783540108504" ;
    .

<http://www.worldcat.org/oclc/651701463>
    a schema:CreativeWork ;
   rdfs:label "Constructive mathematics." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/7671997> ; # Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
    .

<http://www.worldcat.org/title/-/oclc/7671997>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/7671997> ; # Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980
   schema:dateModified "2016-05-11" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.