Pages that link to "Item:Q2547549"
From MaRDI portal
The following pages link to Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers (Q2547549):
Displaying 50 items.
- Beginning of stability theory for Polish spaces (Q312288) (← links)
- Omitting types for infinitary \([0,1]\)-valued logic (Q386155) (← links)
- Hamiltonian closure on universal algebras. (Q404720) (← links)
- The number of countable models in realizability toposes (Q456878) (← links)
- The classical Galois closure for universal algebras (Q468078) (← links)
- On non-forking spectra (Q502150) (← links)
- The complexity of isomorphism for complete theories of linear orders with unary predicates (Q527333) (← links)
- Forking in short and tame abstract elementary classes (Q529160) (← links)
- A construction scheme for non-separable structures (Q529233) (← links)
- Base-free formulas in the lattice-theoretic study of compacta (Q634768) (← links)
- Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry (Q640271) (← links)
- An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN (Q649610) (← links)
- Formalizing Dijkstra's predicate transformer wp in weak second-order logic (Q673132) (← links)
- Free objects and equational deduction for partial conditional specifications (Q673184) (← links)
- Scott rank of Polish metric spaces (Q741089) (← links)
- Categoricity over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\) (Q757348) (← links)
- Model theory for \(L_{\infty \omega _ 1}\) (Q762061) (← links)
- Scattered sentences have few separable randomizations (Q781518) (← links)
- \(\omega\)-satisfiability, \(\omega\)-consistency property, and the downward Löwenheim Skolem theorem for \(L_{\kappa,\kappa}\) (Q787963) (← links)
- P-Räume und Auswahlaxiom (Q793377) (← links)
- Generalizing classical and effective model theory in theories of operations and classes (Q810008) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- A generalization of the Łoś-Tarski preservation theorem (Q904143) (← links)
- Iterated elementary embeddings and the model theory of infinitary logic (Q904149) (← links)
- Nonstandard definability (Q913793) (← links)
- Karp's interpolation theorem for some classes of infinitary languages (Q914662) (← links)
- Closed world assumptions having precedence in predicates (Q922726) (← links)
- Model theory of the regularity and reflection schemes (Q938239) (← links)
- A standard model of Peano arithmetic with no conservative elementary extension (Q998319) (← links)
- Categoricity of computable infinitary theories (Q1005932) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Complete existentially closed locally finite groups (Q1057365) (← links)
- Gruppenuniversalität und Homogenisierbarkeit (Q1073014) (← links)
- A completeness proof for adapted probability logic (Q1080844) (← links)
- Hyperfinite models of adapted probability logic (Q1080845) (← links)
- Stability of recursive structures in arithmetical degrees (Q1094410) (← links)
- Infinitary propositional normal modal logic (Q1102267) (← links)
- Categoricity results for \(L_{\infty \kappa}\)-free algebras (Q1104924) (← links)
- Applications of Fodor's lemma to Vaught's conjecture (Q1114671) (← links)
- Sacks forcing does not always produce a minimal upper bound (Q1139583) (← links)
- Proving total correctness of nondeterministic programs in infinitary logic (Q1155605) (← links)
- Definability in dynamic logic (Q1158140) (← links)
- Existenziell abgeschlossene lokal endliche p-Gruppen (Q1159279) (← links)
- Uncountable degree spectra (Q1182483) (← links)
- The theory of A-spaces (Q1214177) (← links)
- A minimal prime model with an infinite set of indiscernibles (Q1214923) (← links)
- A formal analogy between Baer subplanes and their complements (Q1218183) (← links)
- More Lowenheim-Skolem results for admissible sets (Q1218855) (← links)
- Categoricity in \(\aleph_1\) of sentences in \(L_{\omega_1\omega}(Q)\) (Q1224580) (← links)
