BEYOND FIRST ORDER LOGIC: FROM NUMBER OF STRUCTURES TO STRUCTURE OF NUMBERS: PART II

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

BALDWIN JOHN; HYTTINEN TAPANI; KESALA MEERI

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY Year:2013 | Volume:39 | Issue:1 Page(s): 27-48

Download Full-Text

View:

363

Download:

217

Cites:

Information Journal Paper

Title

BEYOND FIRST ORDER LOGIC: FROM NUMBER OF STRUCTURES TO STRUCTURE OF NUMBERS: PART II

Author(s)

BALDWIN JOHN | HYTTINEN TAPANI | KESALA MEERI | Issue Writer Certificate

Keywords

MATHEMATICAL LOGIC

MODEL THEORY

Abstract

We study the history and recent developments in nonelementary model theory focusing on the framework ofabstract elementary classes. We discuss the role of syntax and semantics and the motivation to generalize first order model theory to nonelementary frameworks and illuminate the study with concrete examples of classes of models.This second part continues to study the question of catecoricity transfer and counting the number of structures of certain cardinality.We discuss more thoroughly the role of countable models, search for a non-elementary counterpart for the concept of completeness and present two examples: one example answers a question asked by David Kueker and the other investigates models of Peano Arithmetic and the relation of an elementary end-extension in terms of an abstract elementary class.

Multimedia

No record.

Cites

No record.

References

No record.

Cite

APA: Copy

BALDWIN, JOHN, HYTTINEN, TAPANI, & KESALA, MEERI. (2013). BEYOND FIRST ORDER LOGIC: FROM NUMBER OF STRUCTURES TO STRUCTURE OF NUMBERS: PART II. BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY, 39(1), 27-48. SID. https://sid.ir/paper/629705/en

Vancouver: Copy

BALDWIN JOHN, HYTTINEN TAPANI, KESALA MEERI. BEYOND FIRST ORDER LOGIC: FROM NUMBER OF STRUCTURES TO STRUCTURE OF NUMBERS: PART II. BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY[Internet]. 2013;39(1):27-48. Available from: https://sid.ir/paper/629705/en

IEEE: Copy

JOHN BALDWIN, TAPANI HYTTINEN, and MEERI KESALA, “BEYOND FIRST ORDER LOGIC: FROM NUMBER OF STRUCTURES TO STRUCTURE OF NUMBERS: PART II,” BULLETIN OF THE IRANIAN MATHEMATICAL SOCIETY, vol. 39, no. 1, pp. 27–48, 2013, [Online]. Available: https://sid.ir/paper/629705/en

Related Journal Papers

No record.

Related Seminar Papers

No record.

Related Plans

No record.

Recommended Workshops