Filters








9 Hits in 1.7 sec

Page 3549 of Mathematical Reviews Vol. , Issue 91G [page]

1991 Mathematical Reviews  
M. (4-LNDQM); Macpherson, Dugald (4-LNDQM) Omega-categoricity, relative categoricity and coordinatisation. Ann. Pure Appl. Logic 46 (1990), no. 2, 169-199.  ...  Assume that T~ is No-categorical and T is relatively categorical over T~.  ... 

Master index to volumes 41-50

1990 Annals of Pure and Applied Logic  
categoricity and coordinatisation Hodkinson, I.M., see Hodges, W.  ...  Hodes, H., Three-valued logics: an introduction, a comparison of various logical lexica, and some philosophical remarks Hodges, W., Hodkinson, I.M. and Macpherson, D., Omega-categoricity, relative  ... 
doi:10.1016/0168-0072(90)90061-6 fatcat:inapyhmvyffpzkhhdq4qje4ahi

Page 495 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
M.; Macpherson, Dugald) Omega-categoricity, relative categoricity and coordinatisation. Ann. Pure Appl. Logic 46 (1990), no. 2, 169-199. (G.  ...  (with Hodges, Wilfrid; Macpherson, Dugald) Omega-categoricity, relative categoricity and coordinatisation. Ann. Pure Appl. Logic 46 (1990), no. 2, 169-199. (G.  ... 

A survey of homogeneous structures

Dugald Macpherson
2011 Discrete Mathematics  
The subject has connections to model theory, to permutation group theory, to combinatorics (for example through combinatorial enumeration, and through Ramsey theory), and to descriptive set theory.  ...  I assume familiarity with the notions of first order language and structure, formula, and interpretation of a formula in a language. Beyond this, I have tried to give definitions if they are needed.  ...  Let M be ω-categorical over a language without function symbols.  ... 
doi:10.1016/j.disc.2011.01.024 fatcat:fqpfnc25hjdajekkiyaeszw6ye

Fusion over sublanguages

Assaf Hasson, Martin Hils
2006 Journal of Symbolic Logic (JSL)  
T 2 intersecting in a totally categorical sub-theory T 0.  ...  ., T 0 is the theory of infinite vector spaces over a finite field then the fusion theory T ω, exists, is complete and ω-stable of rank ω.  ...  By omega-categoricity, QE(G) is in fact a finite field. If F q is the field of quasi-endomorphisms of M |= T 0 , then clearly QE(G) embeds into M at n (F q ).  ... 
doi:10.2178/jsl/1146620149 fatcat:jutbivtmtjhshfseq7ihny3uxa

Page 756 of Mathematical Reviews Vol. , Issue Index [page]

Mathematical Reviews  
Omega-categoricity, relative categoricity and coordinatisation. Ann. Pure Appl. Logic 46 (1990), no. 2, 169-199. (G. Cherlin) 91g:03066 03C35 MacPherson, R.  ...  No-categorical structures smoothly approximated by finite substructures. Proc. London Math. Soc. (3) 59 (1989), no. 3, 439-463.  ... 

Gegenbeispiele zu drei Vermutungen über Kategorizität

Michael Kompatscher, Martin Goldstern
2014
The aim of this master thesis is to refute a conjecture about relative categoricity, which was stated by Hodges, Hodkinson and Macpherson in their paper "Omega-categoricity, relative categoricity and coordinatisation  ...  Das Paper von Evans und Hewitt wurde als Anhang zu "Omega-categoricity, relative categoricity and coordinatisation- von Hodges, Hodkinson und Macpherson verfasst.  ...  Das Paper von Evans und Hewitt wurde als Anhang zu " Omegacategoricity, relative categoricity and coordinatisation" von Hodges, Hodkinson und Macpherson [13] verfasst.  ... 
doi:10.34726/hss.2014.26559 fatcat:fqm62sf6arfm3oak3zorddy7km

Generating collection queries from proofs [article]

Michael Benedikt, Pierre Pradic
2020 arXiv   pre-print
NRC is a strongly-typed functional language which allows building up queries using products and projections, a singleton-former, and a map operation that lifts queries on tuples to queries on sets.  ...  Nested relations, built up from atomic types via tupling and set types, form a rich data model.  ...  Hodkinson, and Dugald Macpherson. Omega-categoricity, relative categoricity and coordinatisation. Annals of Pure and Applied Logic, 46(2):169 -199, 1990. 24 Ehud Hrushovski.  ... 
arXiv:2005.06503v5 fatcat:infkkmfggrez3aj2webp3y5gny

Decomposition Spaces, Incidence Algebras and Möbius Inversion [article]

Imma Gálvez-Carrillo, Joachim Kock, Andrew Tonks
2015 arXiv   pre-print
We take a functorial viewpoint throughout, emphasising conservative ULF functors, and show that most reduction procedures in the classical theory are examples of this notion, and in particular that many  ...  Examples of decomposition spaces beyond Segal spaces are given by the Waldhausen S-construction and by Schmitt restriction species.  ...  Again ⊕ is both the categorical sum and the categorical product, and ⊗ distributes over ⊕.  ... 
arXiv:1404.3202v5 fatcat:andjk5vfi5ag7nk4dl6zraqahi