Search results
From MaRDI portal
- countable recursively saturated model of PA 1994-09-26 Paper Full satisfaction classes: A survey 1992-06-28 Paper Automorphisms of recursively saturated models...10 bytes (13 words) - 07:53, 7 October 2023
- Automorphism Group of an Arithmetically Saturated Model of Peano Arithmetic 1999-02-02 Paper Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed...10 bytes (13 words) - 16:46, 11 December 2023
- 1982-01-01 Paper Recursively saturated nonstandard models of arithmetic; addendum 1982-01-01 Paper Elementary extensions of recursively saturated models of arithmetic...10 bytes (13 words) - 22:04, 12 December 2023
- enlightened naivete 1986-01-01 Paper Recursively Saturated Models of Set Theory 1980-01-01 Paper Toward model theory through recursive saturation 1978-01-01 Paper...10 bytes (15 words) - 10:27, 6 October 2023
- Countable Recursively Saturated Structure 1993-02-18 Paper https://portal.mardi4nfdi.de/entity/Q4001935 1992-09-18 Paper Automorphisms of recursively saturated...10 bytes (14 words) - 13:23, 28 January 2024
- mardi4nfdi.de/entity/Q4939406 2000-07-27 Paper Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts 1995-07-20 Paper...10 bytes (13 words) - 14:21, 24 September 2023
- Paper On maximal subgroups of the automorphism group of a countable recursively saturated model of PA 1994-09-26 Paper A weakly definable type which is not...10 bytes (16 words) - 20:18, 8 December 2023
- Robinson. Time to bring them back to school 1986-01-01 Paper ω1-like recursively saturated models of Presburger's arithmetic 1986-01-01 Paper The structure...10 bytes (13 words) - 06:17, 7 October 2023
- settings 2015-09-01 Paper A VALUATION THEORETIC CHARACTERIZATION OF RECURSIVELY SATURATED REAL CLOSED FIELDS 2015-05-20 Paper Erratum to: ``Limit computable...10 bytes (13 words) - 04:33, 7 October 2023
- 2008-02-25 Paper A generalization of the Keisler‐Morley theorem to recursively saturated ordered structures 2007-06-26 Paper https://portal.mardi4nfdi.de/entity/Q5393640...10 bytes (13 words) - 08:59, 6 October 2023
- correspondence for countable short recursively saturated models of PA 2010-06-10 Paper Automorphisms of countable short recursively saturated models of PA 2010-01-13...10 bytes (13 words) - 09:26, 25 September 2023
- 1984-01-01 Paper On reflection principles 1982-01-01 Paper On M-recursively saturated models of arithmetic 1982-01-01 Paper...10 bytes (13 words) - 22:25, 24 September 2023
- Constructive ultraproducts and isomorphisms of recursively saturated ultrapowers 1993-02-22 Paper Boolean powers, recursive models, and the Horn theory of a structure...10 bytes (15 words) - 09:37, 13 December 2023
- Omitting types in -minimal theories 1986-01-01 Paper Degrees of Recursively Saturated Models 1984-01-01 Paper A model theoretic proof of Feferman's preservation...10 bytes (14 words) - 15:33, 24 September 2023
- POLYNOMIALS 2016-01-07 Paper A VALUATION THEORETIC CHARACTERIZATION OF RECURSIVELY SATURATED REAL CLOSED FIELDS 2015-05-20 Paper Erratum to: ``Limit computable...10 bytes (13 words) - 10:59, 7 October 2023
- applications of Henkin quantifiers 1976-01-01 Paper An introduction to recursively saturated and resplendent models 1976-01-01 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 10:15, 13 December 2023
- alternative set theory 1993-04-01 Paper A Note on Real Subsets of A Recursively Saturated Model 1992-06-28 Paper https://portal.mardi4nfdi.de/entity/Q3824406...10 bytes (13 words) - 18:06, 24 September 2023
- automorphism group of a saturated model of Peano arithmetic 2016-03-04 Paper Decoding in the automorphism group of a recursively saturated model of arithmetic...10 bytes (15 words) - 09:26, 25 September 2023
- sets of type \(\mathbb{H}\mathbb{Y}\mathbb{P}(\mathfrak M)\) over recursively saturated models 2012-02-24 Paper...10 bytes (15 words) - 03:09, 25 September 2023
- forms 2016-03-03 Paper A VALUATION THEORETIC CHARACTERIZATION OF RECURSIVELY SATURATED REAL CLOSED FIELDS 2015-05-20 Paper The exponential-logarithmic equivalence...10 bytes (13 words) - 08:14, 7 October 2023
