Pages that link to "Item:Q4110996"
From MaRDI portal
The following pages link to An introduction to recursively saturated and resplendent models (Q4110996):
Displaying 37 items.
- Axiomatizing first-order consequences in dependence logic (Q388209) (← links)
- Axiomatizing first-order consequences in independence logic (Q466449) (← links)
- Generalizing classical and effective model theory in theories of operations and classes (Q810008) (← links)
- Nonstandard definability (Q913793) (← links)
- Pairs of recursive structures (Q923075) (← links)
- Model theory of the regularity and reflection schemes (Q938239) (← links)
- Resplendent models and \({\Sigma_1^1}\)-definability with an oracle (Q944221) (← links)
- What does logic have to tell us about mathematical proofs? (Q1135835) (← links)
- Elementary properties of free extensions (Q1149944) (← links)
- Some applications of Henkin quantifiers (Q1233865) (← links)
- On expandability of models of Peano arithmetic. III (Q1238808) (← links)
- New axiomatizations for logics with generalized quantifiers (Q1256443) (← links)
- P\(\neq\)NP over the nonstandard reals implies P\(\neq\)NP over \(\mathbb{R}\) (Q1338220) (← links)
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984) (← links)
- Transplendent models: expansions omitting a type (Q1762364) (← links)
- Real closures of models of weak arithmetic (Q1935370) (← links)
- Condensable models of set theory (Q2144608) (← links)
- A new proof of Ajtai's completeness theorem for nonstandard finite structures (Q2339960) (← links)
- Positive logics (Q2700818) (← links)
- INTERPRETATIONS BETWEEN<i>ω</i>-LOGIC AND SECOND-ORDER ARITHMETIC (Q2933679) (← links)
- The spectrum of resplendency (Q3476795) (← links)
- On a problem of MacDowell and Specker (Q3671948) (← links)
- Some useful preservation theorems (Q3674627) (← links)
- Models of the alternative set theory (Q3689181) (← links)
- Expansions of models of <i>ω</i>-stable theories (Q3722479) (← links)
- Saturation of homogeneous resplendent models (Q3757902) (← links)
- Extendible Sets in Peano Arithmetic (Q3832550) (← links)
- Game sentences, recursive saturation and definability (Q3889030) (← links)
- Ideal models and some not so ideal problems in the model theory of <i>L(Q)</i> (Q4165363) (← links)
- Barwise: Infinitary Logic and Admissible Sets (Q4678932) (← links)
- On models of the elementary theory of (Z, +, 1) (Q4713190) (← links)
- The isomorphism property for nonstandard universes (Q4842628) (← links)
- Axiomatizing first order consequences in inclusion logic (Q5119909) (← links)
- Real closed fields and models of Peano arithmetic (Q5190186) (← links)
- Kernels, truth and satisfaction (Q5382835) (← links)
- Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts (Q6096734) (← links)
- COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES (Q6103455) (← links)
