\documentclass[twocolumn, latin1, 10pt,a4paper,twoside,draft]{article}

\usepackage[latin1]{inputenc}
\usepackage{latexsym}
\usepackage{amssymb}
\usepackage{verbatim}
\usepackage{amsthm}
\usepackage{graphics}

\pagestyle{myheadings}

\title{Liten engelsk-svensk ordlista \\ i matematisk
logik\footnote{För en utförlig engelsk-svensk ordlista i matematik, se
Anders Vretblads, vilken finns på Matematiska institutions hemsida.}}

\author{sammanställd av Göran Hamrin}

\date{i juli 2003.}


% ber.        beräkningsteori 
% bev.        bevisteori
% graft.      grafteori
% kompl.      komplexitetsteori
% modellt.    modellteori


\begin{document}

\maketitle

Mindre lämpliga eller omtvistade former är asteriskmärkta (*).

\smallskip



\newcommand{\ems}[1]{{\small \em #1}}
\newcommand{\rms}[1]{{\small #1}}
\newcommand{\ord}[2]{{ \bf #1} #2}
\newcommand{\ber}{ (i beräkningsteori) }
\newcommand{\dom}{ (i domänteori) }
 
\flushleft

\ord{axiom of determinacy}{bestämdhetsaxiomet}

\ord{axiom of foundation}{funderingsaxiomet* ?}

\ord{axiom of infinity}{\ems{s} oändlighetsaxiomet}

\ord{axiom of replacement}{\ems{s} substitutionsaxiomet}

\ord{back and forth construction}{\ems{s} fram-och-tillbaka konstruktion}

\ord{bar induction}{\ems{s} barinduktion}

\ord{bilimit}{\ems{s} bilimes}

\ord{bottom element}{ bottenelement}

\ord{choice sequence}{\ems{s} valföljd}

\ord{combinator}{\ems{s} kombinator}

\ord{combinatory logic}{\ems{s} kombinatorisk logik}

\ord{complete}{\ems{adj} fullständig}

\ord{comprehension axiom}{\ems{s} komprehensionsaxiom}

\ord{consistent}{\ems{adj} motsägelsefri, konsistent* (om teori),
förenliga, konsistenta* (om
axiom eller element i en partiell ordning)}

\ord{constructible set}{konstruerbar mängd}

\ord{colimit}{\ems{s} kolimes}

\ord{coproduct}{\ems{s} koprodukt}

\ord{course-of-values recursion}{\ems{s} värdeförloppsrekursion}

\ord{cut}{\ems{s} snitt}

\ord{cut elimination}{\ems{s} snittelimination}

\ord{decidable}{\ems{adj} avgörbar}

\ord{decision method}{\ems{s} avgörningsmetod*}

\ord{discharge an assumption}{ avsluta ett antagande}

\ord{domain}{\ems{s} domän}

\ord{elementary embedding}{\ems{s} elementär inbädd\-ning}

\ord{elementary equivalence}{\ems{s} elementär ekvivalens}

\ord{feasible}{\ems{adj} görlig*, tänkbar*}

\ord{fixed point}{fixpunkt}

\ord{fixed point semantics}{fixpunktssemantik}

\ord{formal space}{formellt rum}

\ord{frame}{ram}

\ord{Galois connection}{Galoisförbindelse}

\ord{halting problem}{\ems{s} stopproblemet}

\ord{hereditarily finite set}{\ems{s} hereditärt ändlig mängd}

\ord{inaccessible cardinal}{ouppnåeligt kardinaltal}

\ord{inconsistent}{\ems{adj} motsägelsefull, inkonsistent* (om teori),
oförenliga, inkonsistenta* (om
axiom eller element i en partiell ordning)}

\ord{indiscernable}{\ems{adj} osärskiljbara}

\ord{inhabited}{\ems{adj} bebodd \rms{bebodd mängd}}

\ord{join}{\ems{s} förening, supremum}

\ord{coherent space}{koherent rum}

\ord{lattice}{\ems{s} gitter, lattis*}

\ord{locale}{\ems{s} lokal}

\ord{major premise}{\ems{s} huvudpremiss}

\ord{meet}{\ems{s} skärning, infimum}

\ord{minor premise}{\ems{s} bipremiss}

\ord{model complete}{\ems{s} modellfullständig}

\ord{morphism}{\ems{s} morfi*, morfism*}

\ord{NP-hard}{\ems{adj} NP-svår}

\ord{NP-complete}{\ems{adj} NP-fullständig}

\ord{numeral}{\ems{s} nummer \rms{ (sammansatt taltecken)}}

\ord{omitting types theorem}{\ems{s} typuteslutningssatsen}

\ord{opposite category}{\ems{s} dual kategori}

\ord{overspill principle}{\ems{s} överflödsprincip}

\ord{pigeonhole principle}{\ems{s} Dirichlets lådprincip, 
postfacksprincipen, duvhålsprincipen}

\ord{power domain}{\ems{s} potensdomän}

\ord{presheaf}{\ems{s} förkärve}

\ord{prime model}{\ems{s} primmodell}

\ord{principal ideal}{\ems{s} principalideal, huvudideal*}

\ord{probabilistic}{\ems{adj} probabilistisk}

\ord{pullback}{\ems{s} fiberprodukt}

\ord{pumping theorem}{\ems{s} pumpsatsen}

\ord{pushout}{\ems{s} fibersumma}

\ord{quantifier}{\ems{s} kvantor, kvantifikator }

\ord{recursive enumeration}{\ems{s} rekursiv uppräk\-ning}

\ord{retraction}{\ems{s} retraktion*, indragning*, \dom}

\ord{saturated}{\ems{adj} mättad}

\ord{sequent}{\ems{s} sekvent}

\ord{sequent calculus}{\ems{s} sekventkalkyl}

\ord{sheaf}{\ems{s} kärve}

\ord{sheaf semantics}{\ems{s} kärvsemantik}

\ord{space constructible}{utrymmeskonstruerbar \rms{(funktion)}}

\ord{splitting}{\ems{s} uppdelning*}

\ord{splitting lemma}{\ems{s} uppdelningslemma* }

\ord{tableau}{\ems{s} tablå}

\ord{term rewriting}{\ems{s} termomskrivning}

\ord{time constructible}{tidskonstruerbar \rms{(funktion)}}

\ord{type check}{\ems{s} typkontroll}

\ord{uncountable}{\ems{adj} överuppräknelig (trad.), ouppräknelig*} 

\ord{underspill principle}{\ems{s} undertrycksprincipen*? }

\ord{uniform}{\ems{adj} uniform (i topologi om rum), likformig \ber}

\ord{uniformity}{\ems{s} ? (i topologi)}

\ord{(the) upper topology}{\ems{s} ? (i topologi)}

\ord{(the) way-below relation}{långt-under-relationen*,
approximationsrelationen* (i domänteori)}

\end{document}






