#### Filter Results:

- Full text PDF available (11)

#### Publication Year

1995

2016

- This year (0)
- Last five years (2)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Richard Sommer
- Ann. Pure Appl. Logic
- 1995

The relative strengths of first-order theories axiomatized by transfinite induction, for ordinals less-than ~0, and formulas restricted in quantifier complexity, is determined. This is done, in part, by describing the provably recursive functions of such theories. Upper bounds for the provably recursive functions are obtained using model-theoretic… (More)

- A. Tessmann, A. Leuther, +6 authors H. Essen
- 2007 IEEE Compound Semiconductor Integrated…
- 2007

In this paper, we present the development of a W-band power amplifier (PA) circuit and a G-band low-noise amplifier (LNA) MMIC for use in a high-resolution radar system operating at 210 GHz. The power amplifier circuit has been realized using a 0.1 um InAlAs/InGaAs based depletion-type metamorphic high electron mobility transistor (MHEMT) technology in… (More)

- S. PITZER, WILLARD F. LIBBY, +8 authors RICHARD SOMMER
- 2005

Science serves its readers as a forum for the presentation and discussion of important issues related to the advancement of science, including the presentation of minority or conflicting points of view, rather than by publishino only material on which a consenstus has been reached. Accordingly , all articles published in Science-including editorials, news… (More)

- JAMES F. CROW, FRANK W. PUTNAM, +8 authors MARGARET STERLING
- 2005

Science serves its readers as a forum for the presentation and discussion of important issues related to the advance-The de ment of science, including the presentation of minority or ly condu conflicting points of view, rather than by publishing only .i. material on which a consensus has been reached. Accord-OlflOfl ingly, all articles published in… (More)

- David McMath, Marianna Rozenfeld, Richard Sommer
- LPAR
- 2001

The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics courses, allows students to easily input mathematical expressions, apply proof strategies , verify logical inference, and apply mathematical rules. Each course has its own… (More)

- FRANK W. PUYNANI, H. S. GUTOWSKY, ARTHUR D. HASLER, RUDOLF KOMPFNER, RICHARD SOMMER
- 2005

Science serves its readers as a forum for the pi-esentation and discussion of important issues related to the advancement of science, including the presentation of minority or conflicting points of view, rather than by publishing only material on which a consensus has been reached. Accordingly , all articles published in Science-including editorials, news… (More)

- Jeremy Avigad, Richard Sommer
- Bulletin of Symbolic Logic
- 1997

We describe a model-theoretic approach to ordinal analysis via the finite com-binatorial notion of an α-large set of natural numbers. In contrast to syntactic approaches that use cut elimination, this approach involves constructing finite sets of numbers with com-binatorial properties that, in nonstandard instances, give rise to models of the theory being… (More)

- A. Tessmann, A. Leuther, +9 authors M. Schlechtweg
- 2006 European Microwave Integrated Circuits…
- 2006

G-band low-noise amplifier (LNA) modules have been successfully developed for use in high-resolution radiometric imaging applications. The WR-5 waveguide modules contain a four-stage 220 GHz cascode LNA MMIC and two microstrip-to-waveguide transitions which were realized on 50 mum thick quartz substrates. The monolithic amplifier circuits were fabricated… (More)

- Richard Sommer, Gregory Nuckols
- J. Autom. Reasoning
- 2004

- Jeremy Avigad, Richard Sommer
- J. Symb. Log.
- 1999

We use model-theoretic methods described in [3] to obtain ordinal analyses of a number of theories of first-and second-order arithmetic, whose proof-theoretic ordinals are less than or equal to Γ 0 .