MODELE GENERIQUE ET COMPACITELABLANQUIE JC.1981; C.R. SEANCES ACAD. SCI., SER. 1, MATH.; ISSN 0249-6291; FRA; DA. 1981; VOL. 293; NO 4; PP. 227-230; ABS. ENG; BIBL. 7 REF.Article

HOMOGENEOUS MODELS AND DECIDABILITYMILLAR T.1980; PAC. J. MATH.; ISSN 0030-8730; USA; DA. 1980; VOL. 91; NO 2; PP. 407-418; BIBL. 5 REF.Article

MODELS AND REALITYPUTNAM H.1980; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1980; VOL. 45; NO 3; PP. 464-482Article

FRAGMENTS RESOLUBLES DES THEORIES UNIVERSELLES ET MODELES EXISTENTIELLEMENT FERMESBELEGRADEK OV.1980; SIB. MAT. Z.; ISSN 0037-4474; SUN; DA. 1980; VOL. 21; NO 6; PP. 196-201; BIBL. 13 REF.Article

EQUATIONAL COMPACTNESS IN RINGS. WITH APPLICATIONS TO THE THEORY OF TOPOLOGICAL RINGSHALEY DK.1979; LECTURE NOTES MATH.; DEU; DA. 1979; NO 745; 170 P.; BIBL. 61 REF.Serial Issue

A MODEL-THEORETIC ACCOUNT OF CONFIRMATIONPAULOS J.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 2; PP. 451-457; BIBL. 2 REF.Article

EXTENDABILITY OF ZF MODELS IN THE VON NEUMAN HIERARCHY TO MODELS OF KM THEORY OF CLASSES.MAREK W; NYBERG AM.1978; STUD. LOGIC FOUND. MATH.; NLD; DA. 1978; VOL. 94; PP. 271-282; BIBL. 9 REF.Article

MODEL THEORY OF TOPOLOGICAL STRUCTURES.GARAVAGLIA S.1978; ANN. MATH. LOGIC; NLD; DA. 1978; VOL. 14; NO 1; PP. 13-37; BIBL. 17 REF.Article

HOMOGENOUS SETS.MORELY M.1977; STUD. LOGIC FOUND. MATH.; NETHERL.; DA. 1977; VOL. 90; PP. 181-196; BIBL. 4 REF.Article

MODEL COMPLETENESS.MACINTYRE A.1977; STUD. LOGIC FOUND. MATH.; NETHERL.; DA. 1977; VOL. 90; PP. 139-180; BIBL. 6 P.Article

TYPE STRUCTURE COMPLEXITY AND DECIDABILITYMILLAR TS.1982; TRANS. AM. MATH. SOC.; ISSN 0002-9947; USA; DA. 1982; VOL. 271; NO 1; PP. 73-81; BIBL. 5 REF.Article

CONCERNING THE CONSISTENCY OF THE SOUSLIN HYPOTHESIS WITH THE CONTINUUM HYPOTHESISDEVLIN KJ.1980; ANN. MATH. LOGIC; ISSN 0003-4843; NLD; DA. 1980; VOL. 19; NO 1-2; PP. 115-125; BIBL. 2 REF.Article

INSTABILITY AND THEORIES WITH FEW MODELSPILLAY A.1980; PROC. AM. MATH. SOC.; ISSN 0002-9939; USA; DA. 1980; VOL. 80; NO 3; PP. 461-468; BIBL. 3 REF.Article

SATURATED STRUCTURES, UNIONS OF CHAINS, AND PRESERVATION THEOREMSADAMSON A.1980; ANN. MATH. LOGIC; ISSN 0003-4843; NLD; DA. 1980; VOL. 19; NO 1-2; PP. 67-96; BIBL. 8 REF.Article

TYPE D'ORDRE DES MODELES NON-STANDARDSCHARRETTON CHRISTINE.1979; ; FRA; DA. 1979; 910; 67 P.; 30 CM; BIBL. 22 REF.; TH. 3E CYCLE: MATH./LYON 1/1979Thesis

MODEL THEORETICAL INVESTIGATION OF THEOREM PROVING METHODSGERGELY T; VERSHININ KP.1978; NOTRE DAME J. FORM. LOGIC.; USA; DA. 1978; VOL. 19; NO 4; PP. 523-542; BIBL. 14 REF.Article

A REMARK ON SCOTT'S INTERPOLATION THEOREM FOR L_W1W.MOTOHASHI N.1977; J. SYMBOL. LOGIC; U.S.A.; DA. 1977; VOL. 42; NO 1; PP. 63; BIBL. 4 REF.Article

ADMISSIBLE SETS AND INFINITARY LOGIC.MAKKAI M.1977; STUD. LOGIC FOUND. MATH.; NETHERL.; DA. 1977; VOL. 90; PP. 233-281; BIBL. 1 P. 1/2Article

COFINAL EXTENSIONS OF NONSTANDARD MODELS OF ARITHMETICSMORYNSKI C.1981; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1981; VOL. 22; NO 2; PP. 133-144; BIBL. 18 REF.Article

L_INFINIOMEGA ₁-ELEMENTARILY EQUIVALENT: MODEL OF POWER OMEGA ₁KUEKER DW.1981; LECT. NOTES MATH.; ISSN 0075-8434; DEU; DA. 1981; VOL. 859; PP. 120-131; BIBL. 11 REF.Article

RECURSION THEORY ON ORDERINGS. IIREMMEL JB.1980; J. SYMBOL. LOGIC; USA; DA. 1980; VOL. 45; NO 2; PP. 317-333; BIBL. 14 REF.Article

ULTRAPRODUCT INVARIANT LOGICSSGRO J.1980; PROC. AMER. MATH. SOC.; USA; DA. 1980; VOL. 79; NO 4; PP. 635-638; BIBL. 12 REF.Article

CLASSIFICATIONS FOR INCONSISTENT THEORIES.GRANT J.1978; NOTRE DAME J. FORM. LOGIC; USA; DA. 1978; VOL. 19; NO 3; PP. 435-444; BIBL. 3 REF.Article

MODEL-THEORETIC FORCING IN LOGIC WITH A GENERALIZED QUANTIFIER.BRUCE KB.1978; ANN. MATH. LOGIC; NETHERL.; DA. 1978; VOL. 13; NO 3; PP. 225-265; BIBL. 20 REF.Article

A NOTE ON THE DECOMPOSITION OF THEORIES WITH RESPECT TO AMALGAMATION, CONVEXITY, AND RELATED PROPERTIES.PINTER C.1978; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1978; VOL. 19; NO 1; PP. 115-118; BIBL. 3 REF.Article