One conservative extension of formal mathematic analysis with a scheme of dependent choice
| ISSN: |
1573-8876
|
|---|---|
| Source: |
Springer Online Journal Archives 1860-2000
|
| Topics: |
Mathematics
|
| Notes: |
Abstract This paper studies an extension of classical analysis, the language of which is obtained by adding to the language of analysis a two-place predicate symbol ρ. To the axioms of this extension, in addition to all the axioms of analysis (a convolution scheme is selected for all the formulas of the new language), there also belong a series of axioms asserting that relationship ρ completely orders the class of all sets of natural numbers. It is proven that the theory described herein is a conservative extension of analysis with a scheme of dependent choice.
|
| Type of Medium: |
Electronic Resource
|
| URL: |
| _version_ | 1798297132863586304 |
|---|---|
| autor | Levin, A. M. |
| autorsonst | Levin, A. M. |
| book_url | http://dx.doi.org/10.1007/BF01147693 |
| datenlieferant | nat_lic_papers |
| hauptsatz | hsatz_simple |
| identnr | NLM191297976 |
| iqvoc_descriptor_title | iqvoc_00000708:analysis |
| issn | 1573-8876 |
| journal_name | Mathematical notes |
| materialart | 1 |
| notes | Abstract This paper studies an extension of classical analysis, the language of which is obtained by adding to the language of analysis a two-place predicate symbol ρ. To the axioms of this extension, in addition to all the axioms of analysis (a convolution scheme is selected for all the formulas of the new language), there also belong a series of axioms asserting that relationship ρ completely orders the class of all sets of natural numbers. It is proven that the theory described herein is a conservative extension of analysis with a scheme of dependent choice. |
| package_name | Springer |
| publikationsjahr_anzeige | 1977 |
| publikationsjahr_facette | 1977 |
| publikationsjahr_intervall | 8024:1975-1979 |
| publikationsjahr_sort | 1977 |
| publisher | Springer |
| reference | 22 (1977), S. 524-528 |
| search_space | articles |
| shingle_author_1 | Levin, A. M. |
| shingle_author_2 | Levin, A. M. |
| shingle_author_3 | Levin, A. M. |
| shingle_author_4 | Levin, A. M. |
| shingle_catch_all_1 | Levin, A. M. One conservative extension of formal mathematic analysis with a scheme of dependent choice Abstract This paper studies an extension of classical analysis, the language of which is obtained by adding to the language of analysis a two-place predicate symbol ρ. To the axioms of this extension, in addition to all the axioms of analysis (a convolution scheme is selected for all the formulas of the new language), there also belong a series of axioms asserting that relationship ρ completely orders the class of all sets of natural numbers. It is proven that the theory described herein is a conservative extension of analysis with a scheme of dependent choice. 1573-8876 15738876 Springer |
| shingle_catch_all_2 | Levin, A. M. One conservative extension of formal mathematic analysis with a scheme of dependent choice Abstract This paper studies an extension of classical analysis, the language of which is obtained by adding to the language of analysis a two-place predicate symbol ρ. To the axioms of this extension, in addition to all the axioms of analysis (a convolution scheme is selected for all the formulas of the new language), there also belong a series of axioms asserting that relationship ρ completely orders the class of all sets of natural numbers. It is proven that the theory described herein is a conservative extension of analysis with a scheme of dependent choice. 1573-8876 15738876 Springer |
| shingle_catch_all_3 | Levin, A. M. One conservative extension of formal mathematic analysis with a scheme of dependent choice Abstract This paper studies an extension of classical analysis, the language of which is obtained by adding to the language of analysis a two-place predicate symbol ρ. To the axioms of this extension, in addition to all the axioms of analysis (a convolution scheme is selected for all the formulas of the new language), there also belong a series of axioms asserting that relationship ρ completely orders the class of all sets of natural numbers. It is proven that the theory described herein is a conservative extension of analysis with a scheme of dependent choice. 1573-8876 15738876 Springer |
| shingle_catch_all_4 | Levin, A. M. One conservative extension of formal mathematic analysis with a scheme of dependent choice Abstract This paper studies an extension of classical analysis, the language of which is obtained by adding to the language of analysis a two-place predicate symbol ρ. To the axioms of this extension, in addition to all the axioms of analysis (a convolution scheme is selected for all the formulas of the new language), there also belong a series of axioms asserting that relationship ρ completely orders the class of all sets of natural numbers. It is proven that the theory described herein is a conservative extension of analysis with a scheme of dependent choice. 1573-8876 15738876 Springer |
| shingle_title_1 | One conservative extension of formal mathematic analysis with a scheme of dependent choice |
| shingle_title_2 | One conservative extension of formal mathematic analysis with a scheme of dependent choice |
| shingle_title_3 | One conservative extension of formal mathematic analysis with a scheme of dependent choice |
| shingle_title_4 | One conservative extension of formal mathematic analysis with a scheme of dependent choice |
| sigel_instance_filter | dkfz geomar wilbert ipn albert fhp |
| source_archive | Springer Online Journal Archives 1860-2000 |
| timestamp | 2024-05-06T10:03:08.277Z |
| titel | One conservative extension of formal mathematic analysis with a scheme of dependent choice |
| titel_suche | One conservative extension of formal mathematic analysis with a scheme of dependent choice |
| topic | SA-SP |
| uid | nat_lic_papers_NLM191297976 |