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
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: Kongreß
Conference papers and proceedings
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.

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"@fr ;
    .

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

<http://experiment.worldcat.org/entity/work/data/862941987#Topic/wiskundige_logica> # Wiskundige logica
    a schema:Intangible ;
    schema:name "Wiskundige logica"@en ;
    .

<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 "2017-11-22" ;
    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.