Common-Migraine 发表于 2025-3-23 09:55:24

http://reply.papertrans.cn/24/2392/239174/239174_11.png

Coronary-Spasm 发表于 2025-3-23 17:00:45

http://reply.papertrans.cn/24/2392/239174/239174_12.png

勋章 发表于 2025-3-23 20:37:04

Margarete Klein M.A.,Alexander Straßner M.A.e . by ℱ if the set of indices . such that R. ∈ . is an element of ℱ; another way of saying this is that R. ∈,. for . (mod ℱ). It is evident that for any class . of .-ary multirelations either . or its complement is induced, and also that any finite intersection of induced classes is an induced clas

Platelet 发表于 2025-3-23 23:45:54

Carolin Holzmeier,Natalie Mayerl relation, on the base |R|. The relation S is in a sense “in general position” relative to R. For example, if R is the chain of natural numbers and . = 1, the unary general relation S is + for infinitely many numbers and — for infinitely many numbers; S is + for infinitely many even numbers and — f

flimsy 发表于 2025-3-24 03:34:53

http://reply.papertrans.cn/24/2392/239174/239174_15.png

badinage 发表于 2025-3-24 06:47:31

http://reply.papertrans.cn/24/2392/239174/239174_16.png

Decimate 发表于 2025-3-24 13:18:33

http://reply.papertrans.cn/24/2392/239174/239174_17.png

抱怨 发表于 2025-3-24 15:33:36

http://reply.papertrans.cn/24/2392/239174/239174_18.png

皱痕 发表于 2025-3-24 19:30:23

http://reply.papertrans.cn/24/2392/239174/239174_19.png

humectant 发表于 2025-3-25 01:46:22

Local Isomorphism and Logical Formula; Logical Restriction Theorem,Let R and R′ be two multirelations with bases E and E′ respectively, and . a local isomorphism of R onto R′ defined on a subset F ⊆ E and mapping it onto some F′⊆ E′ (see Volume 1,4.1). We associate with . certain pairs of integers (., .), defined recursively as follows.
页: 1 [2] 3 4 5
查看完整版本: Titlebook: Course of Mathematical Logic; Volume 2 Model Theor Roland Fraïssé Book 1974 D. Reidel Publishing Company, Dordrecht, Holland 1974 Equivalen