Search results
From MaRDI portal
- James H. Schmerl (section List of research outcomes)Paper Finite Substructure Lattices of Models of Peano Arithmetic 1993-06-29 Paper End extensions of models of arithmetic 1993-02-22 Paper A general framework...10 bytes (16 words) - 20:18, 8 December 2023
- Vladimir Kanovei (section List of research outcomes)2000-08-02 Paper A nonstandard proof of the Jordan curve theorem 2000-05-21 Paper Extending standard models of ZFC to models of nonstandard set theories 2000-03-21...10 bytes (16 words) - 15:20, 6 December 2023
- Craig Smoryński (section List of research outcomes)saturated nonstandard models of arithmetic 1981-01-01 Paper Skolem's solution to a problem of Frobenius 1981-01-01 Paper Cofinal extensions of nonstandard models...10 bytes (13 words) - 22:04, 12 December 2023
- Benno van den Berg (section List of research outcomes)2018-01-04 Paper The strength of countable saturation 2017-09-15 Paper Nonstandard functional interpretations and categorical models 2017-08-17 Paper W-types...10 bytes (17 words) - 11:43, 28 January 2024
- Roman Kossak (section List of research outcomes)Extensions of Models of Strong Fragments of Arithmetic" 1991-01-01 Paper On Extensions of Models of Strong Fragments of Arithmetic 1990-01-01 Paper Models with...10 bytes (13 words) - 16:46, 11 December 2023
- H. Jerome Keisler (section List of research outcomes)1962-01-01 Paper Applications of ultraproducts of pairs of cardinals to the theory of models 1962-01-01 Paper On Some Results of Jonnsson and Tarski Concerning...10 bytes (17 words) - 17:29, 11 December 2023
- Richard Kaye (section List of research outcomes)Automorphisms of recursively saturated models of arithmetic 1992-06-28 Paper On cofinal extensions of models of fragments of arithmetic 1992-06-28 Paper Model-theoretic...10 bytes (14 words) - 13:23, 28 January 2024
- Henryk Kotlarski (section List of research outcomes)elementary cuts in models of arithmetic 1983-01-01 Paper On cofinal extensions of models of arithmetic 1983-01-01 Paper Construction of Satisfaction Classes...10 bytes (13 words) - 07:53, 7 October 2023
- Matt Kaufmann (section List of research outcomes)Saturation and simple extensions of models of Peano arithmetic 1984-01-01 Paper The strength of nonstandard methods in arithmetic 1984-01-01 Paper Mutually generic...10 bytes (15 words) - 08:02, 25 September 2023
- Akito Tsuboi (section List of research outcomes)definable in models of Peano Arithmetic 2007-02-20 Paper Construction of saturated quasi-minimal structure 2005-08-29 Paper Implicit definability of subfields...10 bytes (13 words) - 22:25, 24 September 2023
- Masahiro Yasumoto (section List of research outcomes)1991-01-01 Paper Nonstandard arithmetic of iterated polynomials 1990-01-01 Paper Algebraic extensions in nonstandard models and Hilbert's irreducibility theorem...10 bytes (13 words) - 09:50, 6 October 2023
- Abraham Robinson (section List of research outcomes)The nonstandard λ:φ24(x): model. I. The technique of nonstandard analysis in theoretical physics 1972-01-01 Paper The nonstandard λ:φ24(x): model. II....10 bytes (15 words) - 21:28, 12 December 2023
- Erik Palmgren (section List of research outcomes)Constructive Nonstandard Analysis 1999-08-31 Paper https://portal.mardi4nfdi.de/entity/Q4247308 1999-06-16 Paper Minimal models of Heyting arithmetic 1998-11-02...10 bytes (13 words) - 21:07, 24 September 2023
- Emil Jeřábek (section List of research outcomes)complexity of admissible rules of Lukasiewicz logic 2013-06-27 Paper Real closures of models of weak arithmetic 2013-02-15 Paper THE UBIQUITY OF CONSERVATIVE...10 bytes (15 words) - 12:36, 28 January 2024
- Keita Yokoyama (section List of research outcomes)second-order arithmetic 2022-09-08 Paper In search of the first-order part of Ramsey's theorem for pairs 2022-03-22 Paper THE REVERSE MATHEMATICS OF THEOREMS...10 bytes (14 words) - 11:36, 28 January 2024
- Chris Mortensen (section List of research outcomes)Publication Date of Publication Type Inconsistent Models for Relevant Arithmetics 2021-12-29 Paper Alien Intruders in Relevant Arithmetic 2021-12-29 Paper...10 bytes (13 words) - 03:14, 7 October 2023
- Steven Leth (section List of research outcomes)1989-01-01 Paper Sequences in countable nonstandard models of the natural numbers 1989-01-01 Paper Some nonstandard methods in combinatorial number theory...10 bytes (14 words) - 09:36, 11 December 2023
- independent of Peano Arithmetic? 2021-10-16 Paper Provability Logic: models within models in Peano Arithmetic 2021-09-12 Paper On the value group of the transseries...10 bytes (15 words) - 13:41, 11 December 2023
- Alistair H. Lachlan (section List of research outcomes)1996-01-28 Paper The continuity of cupping to \(\text \textbf{0}'\) 1995-01-29 Paper Models of arithmetic and upper bounds for arithmetic sets 1994-11-27 Paper The...10 bytes (15 words) - 21:28, 12 December 2023
- Yoram Hirshfeld (section List of research outcomes)Paper Forcing, arithmetic, division rings 1975-01-01 Paper Models of arithmetic and recursive functions 1975-01-01 Paper The Model Companion of ZF 1975-01-01...10 bytes (15 words) - 01:04, 9 December 2023
