Skip to main content

Showing 1–5 of 5 results for author: Schuster, P

Searching in archive math. Search in all archives.
.
  1. arXiv:2207.03873  [pdf, other

    math.AC math.LO math.RA

    Maximal ideals in countable rings, constructively

    Authors: Ingo Blechschmidt, Peter Schuster

    Abstract: The existence of a maximal ideal in a general nontrivial commutative ring is tied together with the axiom of choice. Following Berardi, Valentini and thus Krivine but using the relative interpretation of negation (that is, as "implies 0 = 1") we show, in constructive set theory with minimal logic, how for countable rings one can do without any kind of choice and without the usual decidability assu… ▽ More

    Submitted 8 July, 2022; originally announced July 2022.

    Comments: Postproceedings of CiE 2022: Computability in Europe. Revolutions and Revelations in Computability. Swansea, UK. 11-15 Jul 2022

    MSC Class: 13P99; 13C99; 03F55 ACM Class: F.4.1; G.0

  2. arXiv:1903.03070  [pdf, ps, other

    cs.LO cs.DS math.AC math.LO

    An algorithmic approach to the existence of ideal objects in commutative algebra

    Authors: Thomas Powell, Peter M Schuster, Franziskus Wiesnet

    Abstract: The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pose a challenge from a computational point of view. Giving a constructive meaning to ideal objects is a problem which dates back to Hilbert's program, and today is still a central theme in the area of dynamical algebra, wh… ▽ More

    Submitted 7 March, 2019; originally announced March 2019.

  3. arXiv:1308.2690  [pdf, ps, other

    cs.LO math.AC math.LO

    Induction in Algebra: a First Case Study

    Authors: Peter M Schuster

    Abstract: Many a concrete theorem of abstract algebra admits a short and elegant proof by contradiction but with Zorn's Lemma (ZL). A few of these theorems have recently turned out to follow in a direct and elementary way from the Principle of Open Induction distinguished by Raoult. The ideal objects characteristic of any invocation of ZL are eliminated, and it is made possible to pass from classical to in… ▽ More

    Submitted 20 September, 2013; v1 submitted 12 August, 2013; originally announced August 2013.

    Journal ref: Logical Methods in Computer Science, Volume 9, Issue 3 (September 17, 2013) lmcs:959

  4. arXiv:1111.5180  [pdf, ps, other

    math.LO

    Are There Enough Injective Sets?

    Authors: Peter Aczel, Benno van den Berg, Johan Granstroem, Peter Schuster

    Abstract: The axiom of choice ensures precisely that, in ZFC, every set is projective: that is, a projective object in the category of sets. In constructive ZF (CZF) the existence of enough projective sets has been discussed as an additional axiom taken from the interpretation of CZF in Martin-Loef's intuitionistic type theory. On the other hand, every non-empty set is injective in classical ZF, which argum… ▽ More

    Submitted 22 November, 2011; originally announced November 2011.

  5. arXiv:math/0310174  [pdf, ps, other

    math.CV

    Interpolation and Sampling on Riemann Surfaces

    Authors: Alexander P. Schuster, Dror Varolin

    Abstract: We find sufficient conditions for a discrete sequence to be interpolating or sampling for certain generalized Bergman spaces on open Riemann surfaces. As in previous work of Bendtsson, Ortega-Cerda, Seip, Wallsten and others, our conditions for interpolation and sampling are as follows: If a certain upper density of the sequence has value less that 1, then the sequence is interpolating, while if… ▽ More

    Submitted 19 November, 2004; v1 submitted 12 October, 2003; originally announced October 2003.

    Comments: 34 pages

    MSC Class: 30F99