Remark on Relevant Arithmetic
This is a brief note about the history of the analysis of the collection of theories, RM3modn, in Meyer and Mortensen "Inconsistent Models for Relevant Arithmetics" Journal of Symbolic Logic 49 (1984).
Gespeichert in:
| Veröffentlicht in: | The Australasian journal of logic 2021-07, Vol.18 (5), p.426-427 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 427 |
|---|---|
| container_issue | 5 |
| container_start_page | 426 |
| container_title | The Australasian journal of logic |
| container_volume | 18 |
| creator | Mortensen, Chris |
| description | This is a brief note about the history of the analysis of the collection of theories, RM3modn, in Meyer and Mortensen "Inconsistent Models for Relevant Arithmetics" Journal of Symbolic Logic 49 (1984). |
| doi_str_mv | 10.26686/ajl.v18i5.6915 |
| format | Article |
| fullrecord | <record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_26686_ajl_v18i5_6915</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_26686_ajl_v18i5_6915</sourcerecordid><originalsourceid>FETCH-LOGICAL-c166t-308ce9a3e0c0db63dd9aef496439307d3fa2723295ddd5aa2e42296bc2d7c2533</originalsourceid><addsrcrecordid>eNpNz81KAzEUBeAgCtbq2pUwLzDTm3uTTLIsxT8oCEXXIU3u4NRpK8lQ8O2t1YWrc1aH8wlxK6FBY6yZhc3QHKTtdWOc1GdiIpWytQaN5__6pbgqZQOAGq2aiLsVb0P-qPa7asUDH8JurOa5H9-3PPbxWlx0YSh885dT8fZw_7p4qpcvj8-L-bKO0pixJrCRXSCGCGltKCUXuFPOKHIEbaIuYIuETqeUdAjICtGZdcTURtREUzH73Y15X0rmzn_m_vjry0vwJ50_6vxJ53909A1YM0LC</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Remark on Relevant Arithmetic</title><source>Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals</source><creator>Mortensen, Chris</creator><creatorcontrib>Mortensen, Chris</creatorcontrib><description>This is a brief note about the history of the analysis of the collection of theories, RM3modn, in Meyer and Mortensen "Inconsistent Models for Relevant Arithmetics" Journal of Symbolic Logic 49 (1984).</description><identifier>ISSN: 1448-5052</identifier><identifier>EISSN: 1448-5052</identifier><identifier>DOI: 10.26686/ajl.v18i5.6915</identifier><language>eng</language><ispartof>The Australasian journal of logic, 2021-07, Vol.18 (5), p.426-427</ispartof><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27903,27904</link.rule.ids></links><search><creatorcontrib>Mortensen, Chris</creatorcontrib><title>Remark on Relevant Arithmetic</title><title>The Australasian journal of logic</title><description>This is a brief note about the history of the analysis of the collection of theories, RM3modn, in Meyer and Mortensen "Inconsistent Models for Relevant Arithmetics" Journal of Symbolic Logic 49 (1984).</description><issn>1448-5052</issn><issn>1448-5052</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2021</creationdate><recordtype>article</recordtype><recordid>eNpNz81KAzEUBeAgCtbq2pUwLzDTm3uTTLIsxT8oCEXXIU3u4NRpK8lQ8O2t1YWrc1aH8wlxK6FBY6yZhc3QHKTtdWOc1GdiIpWytQaN5__6pbgqZQOAGq2aiLsVb0P-qPa7asUDH8JurOa5H9-3PPbxWlx0YSh885dT8fZw_7p4qpcvj8-L-bKO0pixJrCRXSCGCGltKCUXuFPOKHIEbaIuYIuETqeUdAjICtGZdcTURtREUzH73Y15X0rmzn_m_vjry0vwJ50_6vxJ53909A1YM0LC</recordid><startdate>20210721</startdate><enddate>20210721</enddate><creator>Mortensen, Chris</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20210721</creationdate><title>Remark on Relevant Arithmetic</title><author>Mortensen, Chris</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c166t-308ce9a3e0c0db63dd9aef496439307d3fa2723295ddd5aa2e42296bc2d7c2533</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2021</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Mortensen, Chris</creatorcontrib><collection>CrossRef</collection><jtitle>The Australasian journal of logic</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Mortensen, Chris</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Remark on Relevant Arithmetic</atitle><jtitle>The Australasian journal of logic</jtitle><date>2021-07-21</date><risdate>2021</risdate><volume>18</volume><issue>5</issue><spage>426</spage><epage>427</epage><pages>426-427</pages><issn>1448-5052</issn><eissn>1448-5052</eissn><abstract>This is a brief note about the history of the analysis of the collection of theories, RM3modn, in Meyer and Mortensen "Inconsistent Models for Relevant Arithmetics" Journal of Symbolic Logic 49 (1984).</abstract><doi>10.26686/ajl.v18i5.6915</doi><tpages>2</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1448-5052 |
| ispartof | The Australasian journal of logic, 2021-07, Vol.18 (5), p.426-427 |
| issn | 1448-5052 1448-5052 |
| language | eng |
| recordid | cdi_crossref_primary_10_26686_ajl_v18i5_6915 |
| source | Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals |
| title | Remark on Relevant Arithmetic |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-27T00%3A35%3A51IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Remark%20on%20Relevant%20Arithmetic&rft.jtitle=The%20Australasian%20journal%20of%20logic&rft.au=Mortensen,%20Chris&rft.date=2021-07-21&rft.volume=18&rft.issue=5&rft.spage=426&rft.epage=427&rft.pages=426-427&rft.issn=1448-5052&rft.eissn=1448-5052&rft_id=info:doi/10.26686/ajl.v18i5.6915&rft_dat=%3Ccrossref%3E10_26686_ajl_v18i5_6915%3C/crossref%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |