Eintrag weiter verarbeiten
A note on parameter free Π1-induction and restricted exponentiation: parameter free Π<sub>1</sub> -induction and restricted exponentiation
Gespeichert in:
Zeitschriftentitel: | Mathematical Logic Quarterly |
---|---|
Personen und Körperschaften: | , , |
In: | Mathematical Logic Quarterly, 57, 2011, 5, S. 444-455 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Wiley
|
author_facet |
Cordón-Franco, A. Fernández-Margarit, A. Lara-Martín, F. F. Cordón-Franco, A. Fernández-Margarit, A. Lara-Martín, F. F. |
---|---|
author |
Cordón-Franco, A. Fernández-Margarit, A. Lara-Martín, F. F. |
spellingShingle |
Cordón-Franco, A. Fernández-Margarit, A. Lara-Martín, F. F. Mathematical Logic Quarterly A note on parameter free Π1-induction and restricted exponentiation |
author_sort |
cordón-franco, a. |
spelling |
Cordón-Franco, A. Fernández-Margarit, A. Lara-Martín, F. F. 0942-5616 Wiley http://dx.doi.org/10.1002/malq.201010013 parameter free Π<sub>1</sub> -induction and restricted exponentiation A note on parameter free Π<sub>1</sub> -induction and restricted exponentiation Mathematical Logic Quarterly |
doi_str_mv |
10.1002/malq.201010013 |
facet_avail |
Online |
format |
ElectronicArticle |
fullrecord |
blob:ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAwMi9tYWxxLjIwMTAxMDAxMw |
id |
ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAwMi9tYWxxLjIwMTAxMDAxMw |
institution |
DE-Gla1 DE-Zi4 DE-15 DE-Pl11 DE-Rs1 DE-105 DE-14 DE-Ch1 DE-L229 DE-D275 DE-Bn3 DE-Brt1 DE-D161 |
imprint |
Wiley, 2011 |
imprint_str_mv |
Wiley, 2011 |
issn |
0942-5616 |
issn_str_mv |
0942-5616 |
language |
English |
mega_collection |
Wiley (CrossRef) |
match_str |
cordonfranco2011anoteonparameterfreep1inductionandrestrictedexponentiationparameterfreepsub1subinductionandrestrictedexponentiation |
publishDateSort |
2011 |
publisher |
Wiley |
recordtype |
ai |
record_format |
ai |
series |
Mathematical Logic Quarterly |
source_id |
49 |
title_sub |
parameter free Π<sub>1</sub>
-induction and restricted exponentiation |
title |
A note on parameter free Π1-induction and restricted exponentiation |
title_unstemmed |
A note on parameter free Π1-induction and restricted exponentiation |
title_full |
A note on parameter free Π1-induction and restricted exponentiation |
title_fullStr |
A note on parameter free Π1-induction and restricted exponentiation |
title_full_unstemmed |
A note on parameter free Π1-induction and restricted exponentiation |
title_short |
A note on parameter free Π1-induction and restricted exponentiation |
title_sort |
a note on parameter free π<sub>1</sub>
-induction and restricted exponentiation |
url |
http://dx.doi.org/10.1002/malq.201010013 |
publishDate |
2011 |
physical |
444-455 |
description |
|
container_issue |
5 |
container_start_page |
444 |
container_title |
Mathematical Logic Quarterly |
container_volume |
57 |
format_de105 |
Article, E-Article |
format_de14 |
Article, E-Article |
format_de15 |
Article, E-Article |
format_de520 |
Article, E-Article |
format_de540 |
Article, E-Article |
format_dech1 |
Article, E-Article |
format_ded117 |
Article, E-Article |
format_degla1 |
E-Article |
format_del152 |
Buch |
format_del189 |
Article, E-Article |
format_dezi4 |
Article |
format_dezwi2 |
Article, E-Article |
format_finc |
Article, E-Article |
format_nrw |
Article, E-Article |
_version_ |
1792335002565869573 |
geogr_code |
not assigned |
last_indexed |
2024-03-01T14:37:37.512Z |
geogr_code_person |
not assigned |
openURL |
url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=A+note+on+parameter+free+%CE%A01-induction+and+restricted+exponentiation&rft.date=2011-10-01&genre=article&issn=0942-5616&volume=57&issue=5&spage=444&epage=455&pages=444-455&jtitle=Mathematical+Logic+Quarterly&atitle=A+note+on+parameter+free+%CE%A0%3Csub%3E1%3C%2Fsub%3E%0A-induction+and+restricted+exponentiation&aulast=Lara-Mart%C3%ADn&aufirst=F.+F.&rft_id=info%3Adoi%2F10.1002%2Fmalq.201010013&rft.language%5B0%5D=eng |
SOLR | |
_version_ | 1792335002565869573 |
author | Cordón-Franco, A., Fernández-Margarit, A., Lara-Martín, F. F. |
author_facet | Cordón-Franco, A., Fernández-Margarit, A., Lara-Martín, F. F., Cordón-Franco, A., Fernández-Margarit, A., Lara-Martín, F. F. |
author_sort | cordón-franco, a. |
container_issue | 5 |
container_start_page | 444 |
container_title | Mathematical Logic Quarterly |
container_volume | 57 |
description | |
doi_str_mv | 10.1002/malq.201010013 |
facet_avail | Online |
format | ElectronicArticle |
format_de105 | Article, E-Article |
format_de14 | Article, E-Article |
format_de15 | Article, E-Article |
format_de520 | Article, E-Article |
format_de540 | Article, E-Article |
format_dech1 | Article, E-Article |
format_ded117 | Article, E-Article |
format_degla1 | E-Article |
format_del152 | Buch |
format_del189 | Article, E-Article |
format_dezi4 | Article |
format_dezwi2 | Article, E-Article |
format_finc | Article, E-Article |
format_nrw | Article, E-Article |
geogr_code | not assigned |
geogr_code_person | not assigned |
id | ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuMTAwMi9tYWxxLjIwMTAxMDAxMw |
imprint | Wiley, 2011 |
imprint_str_mv | Wiley, 2011 |
institution | DE-Gla1, DE-Zi4, DE-15, DE-Pl11, DE-Rs1, DE-105, DE-14, DE-Ch1, DE-L229, DE-D275, DE-Bn3, DE-Brt1, DE-D161 |
issn | 0942-5616 |
issn_str_mv | 0942-5616 |
language | English |
last_indexed | 2024-03-01T14:37:37.512Z |
match_str | cordonfranco2011anoteonparameterfreep1inductionandrestrictedexponentiationparameterfreepsub1subinductionandrestrictedexponentiation |
mega_collection | Wiley (CrossRef) |
physical | 444-455 |
publishDate | 2011 |
publishDateSort | 2011 |
publisher | Wiley |
record_format | ai |
recordtype | ai |
series | Mathematical Logic Quarterly |
source_id | 49 |
spelling | Cordón-Franco, A. Fernández-Margarit, A. Lara-Martín, F. F. 0942-5616 Wiley http://dx.doi.org/10.1002/malq.201010013 parameter free Π<sub>1</sub> -induction and restricted exponentiation A note on parameter free Π<sub>1</sub> -induction and restricted exponentiation Mathematical Logic Quarterly |
spellingShingle | Cordón-Franco, A., Fernández-Margarit, A., Lara-Martín, F. F., Mathematical Logic Quarterly, A note on parameter free Π1-induction and restricted exponentiation |
title | A note on parameter free Π1-induction and restricted exponentiation |
title_full | A note on parameter free Π1-induction and restricted exponentiation |
title_fullStr | A note on parameter free Π1-induction and restricted exponentiation |
title_full_unstemmed | A note on parameter free Π1-induction and restricted exponentiation |
title_short | A note on parameter free Π1-induction and restricted exponentiation |
title_sort | a note on parameter free π<sub>1</sub> -induction and restricted exponentiation |
title_sub | parameter free Π<sub>1</sub> -induction and restricted exponentiation |
title_unstemmed | A note on parameter free Π1-induction and restricted exponentiation |
url | http://dx.doi.org/10.1002/malq.201010013 |