Publication | Date of Publication | Type |
---|
Common assumption of rationality | 2024-02-05 | Paper |
Model theory for real-valued structures | 2024-01-12 | Paper |
Using ultrapowers to compare continuous structures | 2023-10-12 | Paper |
CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS | 2022-06-15 | Paper |
Iterated dominance revisited | 2021-12-13 | Paper |
Scattered sentences have few separable randomizations | 2020-07-17 | Paper |
On the converse law of large numbers | 2020-06-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q5221583 | 2020-04-02 | Paper |
Independence in randomizations | 2019-07-08 | Paper |
Continuous Sentences Preserved Under Reduced Products | 2019-05-25 | Paper |
A canonical hidden-variable space | 2018-10-18 | Paper |
Algebraic Independence Relations in Randomizations | 2017-03-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q3179083 | 2016-12-20 | Paper |
SEPARABLE MODELS OF RANDOMIZATIONS | 2016-03-22 | Paper |
Definable closure in randomizations | 2015-01-23 | Paper |
Independence relations in randomizations | 2014-09-04 | Paper |
Observing, reporting, and deciding in networks of sentences | 2013-12-16 | Paper |
Use of a Canonical Hidden-Variable Space in Quantum Mechanics | 2013-05-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q2918874 | 2012-10-01 | Paper |
Craig interpolation for networks of sentences | 2012-07-11 | Paper |
Nonstandard arithmetic and recursive comprehension | 2011-08-26 | Paper |
Rank Hierarchies for Generalized Quantifiers | 2011-06-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q2998348 | 2011-05-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q3588141 | 2010-09-10 | Paper |
Almost everywhere elimination of probability quantifiers | 2010-01-07 | Paper |
Randomizations of models as metric structures | 2009-11-30 | Paper |
Why saturated probability spaces are necessary | 2009-06-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q3509168 | 2008-07-01 | Paper |
Admissibility in Games | 2008-04-08 | Paper |
An impossibility theorem on beliefs in games | 2007-01-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q5482542 | 2006-08-28 | Paper |
Nonstandard Arithmetic and Reverse Mathematics | 2006-07-10 | Paper |
ATTRACTORS AND NEO-ATTRACTORS FOR 3D STOCHASTIC NAVIER–STOKES EQUATIONS | 2005-12-09 | Paper |
First order quantifiers in monadic second order logic | 2005-08-29 | Paper |
Barwise: Infinitary Logic and Admissible Sets | 2005-05-24 | Paper |
A local normal form theorem for infinitary logic with unary quantifiers | 2005-04-07 | Paper |
Global attractors for 3-dimensional stochastic Navier-Stokes equations | 2005-01-17 | Paper |
Shrinking games and local formulas | 2004-08-16 | Paper |
A METRIC ON PROBABILITIES, AND PRODUCTS OF LOEB SPACES | 2004-06-14 | Paper |
Definability with a predicate for a semi-linear set | 2004-03-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4552741 | 2003-05-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4791741 | 2003-02-02 | Paper |
Abelian groups with layered tiles and the sumset phenomenon | 2002-10-07 | Paper |
Categoricity without equality | 2002-02-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q2753675 | 2001-11-11 | Paper |
Maharam spectra of Loeb spaces | 2001-11-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q2715601 | 2001-06-20 | Paper |
Quantifier elimination for neocompact sets | 2000-01-09 | Paper |
Randomizing a model | 1999-11-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4394934 | 1999-06-10 | Paper |
Rich and saturated adapted spaces | 1998-04-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4362726 | 1997-11-13 | Paper |
Existence theorems in probability theory | 1997-04-21 | Paper |
Getting to a Competitive Equilibrium | 1997-01-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4863307 | 1996-07-16 | Paper |
Neometric spaces | 1996-06-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q4863306 | 1996-05-02 | Paper |
Approximate tâtonnement processes | 1996-03-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4840693 | 1995-11-14 | Paper |
Game sentences and ultrapowers | 1994-02-17 | Paper |
A Law of Large Numbers for Fast Price Adjustment | 1993-01-16 | Paper |
Model theory. | 1992-09-17 | Paper |
Making the hyperreal line both saturated and complete | 1992-06-27 | Paper |
Meager sets on the hyperfinite time line | 1992-06-26 | Paper |
From discrete to continuous time | 1992-06-25 | Paper |
Descriptive set theory over hyperfinite sets | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3818314 | 1988-01-01 | Paper |
Measures and forking | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3794164 | 1987-01-01 | Paper |
A completeness proof for adapted probability logic | 1986-01-01 | Paper |
Hyperfinite models of adapted probability logic | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3743049 | 1986-01-01 | Paper |
On the strength of nonstandard analysis | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3801804 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3216620 | 1984-01-01 | Paper |
An infinitesimal approach to stochastic analysis | 1984-01-01 | Paper |
Adapted Probability Distributions | 1984-01-01 | Paper |
The strength of nonstandard methods in arithmetic | 1984-01-01 | Paper |
LA(Ⅎ) | 1979-01-01 | Paper |
The stability function of a theory | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3856756 | 1977-01-01 | Paper |
The Monotone Class Theorem in Infinitary Logic | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4089040 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4100304 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4109667 | 1976-01-01 | Paper |
A result concerning cardinalities of ultraproducts | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4085723 | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4777284 | 1974-01-01 | Paper |
The diversity of quantifier prefixes | 1973-01-01 | Paper |
Model theory | 1973-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5619085 | 1971-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5631099 | 1971-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5631100 | 1971-01-01 | Paper |
On theories categorical in their own power | 1971-01-01 | Paper |
Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers | 1971-01-01 | Paper |
Logic with the quantifier “there exist uncountably many” | 1970-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5621366 | 1969-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5573364 | 1968-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5585393 | 1968-01-01 | Paper |
Elementary extensions of models of set theory | 1968-01-01 | Paper |
Ultraproducts which are not saturated | 1967-01-01 | Paper |
On the number of homogeneous models of a given power | 1967-01-01 | Paper |
Ultraproducts of finite sets | 1967-01-01 | Paper |
Some model theoretic results for \(\omega\)-logic | 1966-01-01 | Paper |
Universal homogeneous Boolean algebras | 1966-01-01 | Paper |
First order properties of pairs of cardinals | 1966-01-01 | Paper |
Continuous Model Theory. (AM-58) | 1966-01-01 | Paper |
From accessible to inaccessible cardinals (Results holding for all accessible cardinal numbers and the problem of their extension to inaccessible ones) | 1965-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5596745 | 1965-01-01 | Paper |
Reduced Products and Horn Classes | 1965-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5607980 | 1965-01-01 | Paper |
Ideals with prescribed degree of goodness | 1965-01-01 | Paper |
Limit ultraproducts | 1965-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5537404 | 1965-01-01 | Paper |
Some applications of infinitely long formulas | 1965-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5596749 | 1964-01-01 | Paper |
Unions of Relational Systems | 1964-01-01 | Paper |
Complete theories of algebraically closed fields with distinguished subfields | 1964-01-01 | Paper |
Good ideals in fields of sets | 1964-01-01 | Paper |
On cardinalities of ultraproducts | 1964-01-01 | Paper |
An improved prenex normal form1 | 1963-01-01 | Paper |
A complete first-order logic with infinitary predicates | 1963-01-01 | Paper |
Limit Ultrapowers | 1963-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5596762 | 1962-01-01 | Paper |
Applications of ultraproducts of pairs of cardinals to the theory of models | 1962-01-01 | Paper |
Model theories with truth values in a uniform space | 1962-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5728445 | 1961-01-01 | Paper |
On Some Results of Jonnsson and Tarski Concerning Free Algebras. | 1961-01-01 | Paper |
Theory of models with generalized atomic formulas | 1960-01-01 | Paper |