UB Paderborn / Katalog / Suche / in CDI

Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

1 – 25 von 230

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Model theory of adeles I

Annals of pure and applied logic, 2022-03, Vol.173 (3), p.103074, Article 103074

2022

Volltextzugriff (PDF)

Turing meets Schanuel

Annals of pure and applied logic, 2016-10, Vol.167 (10), p.901-938

Macintyre, Angus

2016

Volltextzugriff (PDF)

The mathematical significance of proof theory

Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2005-10, Vol.363 (1835), p.2419-2435

Macintyre, Angus

2005

Volltextzugriff (PDF)

Decidability of the class of all the rings $\mathbb {Z}/m\mathbb {Z}$ : A problem of Ax

Forum of mathematics. Sigma, 2023-07, Vol.11

2023

Volltextzugriff (PDF)

Decidability of the class of all the rings $\ bb {Z}$ : A problem of Ax

Forum of mathematics. Sigma, 2023-01, Vol.11

2023

Volltextzugriff (PDF)

Decidability of the class of all the rings : A problem of Ax

Forum of mathematics. Sigma, 2023-01, Vol.11, Article e64

2023

Volltextzugriff (PDF)

Commutative unital rings elementarily equivalent to prescribed product rings

Fundamenta mathematicae, 2023, Vol.263 (3), p.235-251

2023

Volltextzugriff (PDF)

Investigating image-based fallow weed detection performance on Raphanus sativus and Avena sativa at speeds up to 30 km h−1

Computers and electronics in agriculture, 2023-12, Vol.215, p.108419, Article 108419

2023

Volltextzugriff (PDF)

Enrichments of Boolean algebras by Presburger predicates

Fundamenta mathematicae, 2017, Vol.239 (1), p.1-17

2017

Volltextzugriff (PDF)

Some supplements to Feferman–Vaught related to the model theory of adeles

Annals of pure and applied logic, 2014-11, Vol.165 (11), p.1639-1679

2014

Volltextzugriff (PDF)

Between the Rings ℤ∕pnℤ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb Z}/p^n{\mathbb Z}$$\end{document} and the Ring ℤp\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{

Mathematics Going Forward, 2023, p.389-409

2023

Volltextzugriff (PDF)

From Schanuel's Conjecture to Shapiro's Conjecture

Commentarii mathematici Helvetici, 2014, Vol.89, p.597

2014

Volltextzugriff (PDF)

Model Theory of the Frobenius on the Witt Vectors

American journal of mathematics, 2007-06, Vol.129 (3), p.665-721

2007

Volltextzugriff (PDF)

Truncations of ordered abelian groups

Algebra universalis, 2021-05, Vol.82 (2), Article 27

2021

Volltextzugriff (PDF)

Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields

Annals of pure and applied logic, 2013-12, Vol.164 (12), p.1236-1246

2013

Volltextzugriff (PDF)

From Schanuel’s Conjecture to Shapiro’s Conjecture

Commentarii mathematici Helvetici, 2014-01, Vol.89 (3), p.597-616

2014

Volltextzugriff (PDF)

Model theory of exponentials on Lie algebras

Mathematical structures in computer science, 2008-02, Vol.18 (1), p.189-204

MACINTYRE, ANGUS

2008

Volltextzugriff (PDF)

Quadratic forms in models of I Δ 0 + Ω 1 , Part II: Local equivalence

Annals of pure and applied logic, 2011-04, Vol.162 (6), p.447-456

2011

Volltextzugriff (PDF)

The algebraic numbers definable in various exponential fields

Journal of the Institute of Mathematics of Jussieu, 2012-10, Vol.11 (4), p.825-834

2012

Volltextzugriff (PDF)

Erratum to “Free abelian lattice-ordered groups” [Ann. Pure Appl. Logic 134 (2–3) (2005) 265–283]

Annals of pure and applied logic, 2016-04, Vol.167 (4), p.431-433

2016

Volltextzugriff (PDF)

Quadratic forms in models of I Δ 0 + Ω 1 . I

Annals of pure and applied logic, 2007-09, Vol.148 (1), p.31-48

2007

Volltextzugriff (PDF)

Exponentiations over the universal enveloping algebra of s l 2 ( C )

Annals of pure and applied logic, 2010-09, Vol.161 (12), p.1565-1580

2010

Volltextzugriff (PDF)

Polynomial Bounds for VC Dimension of Sigmoidal and General Pfaffian Neural Networks

Journal of computer and system sciences, 1997-02, Vol.54 (1), p.169-176

1997

Volltextzugriff (PDF)

Logic, Language, Information and Computation

Annals of pure and applied logic, 2008-03, Vol.152 (1), p.1-2

2008

Volltextzugriff (PDF)

Model Theory: Geometrical and Set-Theoretic Aspects and Prospects

The bulletin of symbolic logic, 2003-06, Vol.9 (2), p.197-212

Macintyre, Angus

2003

Volltextzugriff (PDF)

1 – 25 von 230

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(189)
Mit Volltextzugriff
(209)

Publikationsform

2 weitere anzeigen...

Weniger anzeigen...

Sprache

Erscheinungsjahr

n.n

n.n

Thema

Science & Technology
(47)
Mathematics
(35)
Physical Sciences
(31)
Logic
(16)
Science & Technology - Other Topics
(16)
Shorter Notices
(15)
Nonfiction
(13)
Short Notices
(12)
Algebra
(11)
Life Sciences & Biomedicine
(11)
Mathematics, Applied
(11)
Biographies
(7)
Humans
(7)
Logical Theorems
(7)
Male
(7)
Mathematical Theorems
(7)
Model Theory
(7)
Computer Science
(6)
Group Theory
(6)
History
(6)

15 weitere anzeigen...

Weniger anzeigen...