The following pages link to (Q3856756):
Displaying 48 items.
- External automorphisms of ultraproducts of finite models (Q412058) (← links)
- The well-designed logical robot: learning and experience from observations to the Situation Calculus (Q543604) (← links)
- Club guessing and the universal models (Q816289) (← links)
- Independent random partial matching with general types (Q890137) (← links)
- Elementary embeddings and games in adapted probability logic (Q920078) (← links)
- Notion of indiscernibleness and on the p-Mazur property in Banach spaces (Q1065316) (← links)
- Hyperfinite von Neumann games (Q1065726) (← links)
- Axiomatizable classes with strong homomorphisms (Q1100195) (← links)
- Generators, indecomposables and free algebras (Q1119674) (← links)
- On the structure of initial segments of models of arithmetic (Q1123890) (← links)
- Applications of model theory to representations of finite-dimensional algebras (Q1145198) (← links)
- Theories with three countable models (Q1161737) (← links)
- Similarities and proximity of complete theories (Q1174054) (← links)
- Partial monotonicity and a new version of the Ramsey test (Q1194105) (← links)
- A theory of hyperfinite processes: The complete removal of individual uncertainty via exact LLN (Q1300509) (← links)
- A finitary realizable list of properties (Q1317621) (← links)
- Relative regular closedness and \(\pi\)-valuations (Q1317630) (← links)
- On the danger of half-truths (Q1344854) (← links)
- On aggregation of information in competitive markets: The dynamic case (Q1391676) (← links)
- Multi-period information markets (Q1391677) (← links)
- Dynamic directed random matching (Q1701028) (← links)
- The complexity of satisfiability in non-iterated and iterated probabilistic logics (Q1783740) (← links)
- Back and forth between continuous and discrete for the working computer scientist (Q1817064) (← links)
- On the expressive power of data dependencies (Q1822528) (← links)
- A characterization of nonstandard liftings of measurable functions and stochastic processes (Q1836208) (← links)
- Fields with continuous local elementary properties. I (Q1910279) (← links)
- A propositional probabilistic logic with discrete linear time for reasoning about evidence (Q1928821) (← links)
- The one-way Fubini property and conditional independence: an equivalence result (Q2214102) (← links)
- Completeness theorems for \(\sigma \)-additive probabilistic semantics (Q2291370) (← links)
- Completeness theorem for probability models with finitely many valued measure (Q2330004) (← links)
- Semantic universality of theories over a superlist (Q2366359) (← links)
- Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence (Q2390651) (← links)
- Existence of independent random matching (Q2467123) (← links)
- <i>σ</i>-algebras for quasirandom hypergraphs (Q2951886) (← links)
- On the existence of solutions to stochastic differential equations on Loeb spaces (Q3333818) (← links)
- Martingale property of empirical processes (Q3420278) (← links)
- Star-Finite Representations of Measure Spaces (Q3957177) (← links)
- Unbounded Loeb Measures (Q4180540) (← links)
- An analytic approach to sparse hypergraphs: hypergraph removal (Q4645028) (← links)
- Uncorrelatedness and orthogonality for vector-valued processes (Q4813803) (← links)
- Logics with Probability Operators (Q5024712) (← links)
- Applications of Logics About Simple Probabilities (Q5024717) (← links)
- Hyperfinite construction of <i>G</i>-expectation (Q5086416) (← links)
- Limiting probability measures (Q5145844) (← links)
- Joint measurability and the one-way Fubini property for a continuum of independent random variables (Q5713195) (← links)
- A type reduction from proof-conditional to dynamic semantics (Q5935790) (← links)
- Direct hyperfinite representations of finitely additive probabilities (Q6183828) (← links)
- Approximate equivalence relations (Q6593613) (← links)
