Matches in SemOpenAlex for { <https://semopenalex.org/work/W1712346758> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W1712346758 endingPage "xl" @default.
- W1712346758 startingPage "xxxiii" @default.
- W1712346758 abstract "This chapter focuses on the work of Andrzej Mostowski in model theory. Mostowski regarded model theory basically as a tool for other investigations in the foundations of mathematics. The chapter describes the theory of indiscernible elements, created jointly with Andrzej Ehrenfeucht, the theory of products, and generalized quantifiers. It discusses seven papers in which Mostowski published the results of his investigations in model theory. The paper “On direct products of theories”, published in 1952, begins with the statement that it concerns decidability questions. Mostowski's method of reducing the question about the truth of a sentence in a product to a similar question for factors was extended in a paper by R. L. Vaught and then in one by S. Feferman and R. L. Vaught. Ehrenfeucht's and Mostowski's paper on automorphisms investigations in model theory were concentrated on the characterization of sentences invariant with respect to various operations. The main problem investigated by Ehrenfeucht and Mostowski was that of the existence of models with a large group of automorphisms." @default.
- W1712346758 created "2016-06-24" @default.
- W1712346758 creator A5028741806 @default.
- W1712346758 date "1979-01-01" @default.
- W1712346758 modified "2023-09-25" @default.
- W1712346758 title "The work of Andrzej Mostowski in model theory" @default.
- W1712346758 cites W1511526676 @default.
- W1712346758 cites W2017769265 @default.
- W1712346758 cites W2044340169 @default.
- W1712346758 cites W2062503307 @default.
- W1712346758 cites W2066091881 @default.
- W1712346758 cites W2070476230 @default.
- W1712346758 cites W2080309222 @default.
- W1712346758 cites W2134675812 @default.
- W1712346758 cites W2149736013 @default.
- W1712346758 cites W2168280093 @default.
- W1712346758 cites W2570808219 @default.
- W1712346758 cites W4205815734 @default.
- W1712346758 cites W4210288856 @default.
- W1712346758 cites W958493406 @default.
- W1712346758 doi "https://doi.org/10.1016/s0049-237x(09)70457-4" @default.
- W1712346758 hasPublicationYear "1979" @default.
- W1712346758 type Work @default.
- W1712346758 sameAs 1712346758 @default.
- W1712346758 citedByCount "0" @default.
- W1712346758 crossrefType "book-chapter" @default.
- W1712346758 hasAuthorship W1712346758A5028741806 @default.
- W1712346758 hasConcept C118615104 @default.
- W1712346758 hasConcept C118712358 @default.
- W1712346758 hasConcept C136119220 @default.
- W1712346758 hasConcept C153269930 @default.
- W1712346758 hasConcept C199343813 @default.
- W1712346758 hasConcept C202444582 @default.
- W1712346758 hasConcept C2777686260 @default.
- W1712346758 hasConcept C33923547 @default.
- W1712346758 hasConcept C71924100 @default.
- W1712346758 hasConceptScore W1712346758C118615104 @default.
- W1712346758 hasConceptScore W1712346758C118712358 @default.
- W1712346758 hasConceptScore W1712346758C136119220 @default.
- W1712346758 hasConceptScore W1712346758C153269930 @default.
- W1712346758 hasConceptScore W1712346758C199343813 @default.
- W1712346758 hasConceptScore W1712346758C202444582 @default.
- W1712346758 hasConceptScore W1712346758C2777686260 @default.
- W1712346758 hasConceptScore W1712346758C33923547 @default.
- W1712346758 hasConceptScore W1712346758C71924100 @default.
- W1712346758 hasLocation W17123467581 @default.
- W1712346758 hasOpenAccess W1712346758 @default.
- W1712346758 hasPrimaryLocation W17123467581 @default.
- W1712346758 hasRelatedWork W1985218657 @default.
- W1712346758 hasRelatedWork W2008610760 @default.
- W1712346758 hasRelatedWork W2010933958 @default.
- W1712346758 hasRelatedWork W2073925946 @default.
- W1712346758 hasRelatedWork W2094532370 @default.
- W1712346758 hasRelatedWork W2136357364 @default.
- W1712346758 hasRelatedWork W2963005948 @default.
- W1712346758 hasRelatedWork W3126773016 @default.
- W1712346758 hasRelatedWork W3216076173 @default.
- W1712346758 hasRelatedWork W4244465134 @default.
- W1712346758 isParatext "false" @default.
- W1712346758 isRetracted "false" @default.
- W1712346758 magId "1712346758" @default.
- W1712346758 workType "book-chapter" @default.